The following pages link to (Q5752569):
Displaying 11 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Remarks on Martin-Löf's partial type theory (Q688734) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- A constructive approach to state description semantics (Q1414570) (← links)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- A constructive approach to nonstandard analysis (Q1892939) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- A Dialogical Account of the Intersubjectivity of Intuitionism (Q3305646) (← links)
- (Q5216302) (← links)
