The following pages link to (Q3721820):
Displaying 10 items.
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- The linear abstract machine (Q1105351) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Calculate categorically! (Q1203123) (← links)
- NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS (Q2744176) (← links)
- (Q3480250) (← links)
- Abstract λ-Calculus Machines (Q3599179) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)