The following pages link to (Q5638282):
Displaying 9 items.
- An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Typing and computational properties of lambda expressions (Q1819575) (← links)
- A type theoretic interpretation of constructive domain theory (Q1923827) (← links)
- Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik (Q2558215) (← links)
- A simple proof of second-order strong normalization with permutative conversions (Q2566069) (← links)
- TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION (Q4693280) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)