The following pages link to (Q4499141):
Displaying 4 items.
- Sheaf toposes for realizability (Q938241) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- The computational power of \({\mathcal M}^\omega\) (Q2776817) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)