Pages that link to "Item:Q1314348"

The following pages link to Computational foundations of basic recursive function theory (Q1314348):

Displaying 5 items.

• Notions of computation and monads (Q757075) (← links)
• Constructing type systems over an operational semantics (Q1199709) (← links)
• Meaning explanations at higher dimension (Q1688954) (← links)
• Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
• Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)