Pages that link to "Item:Q3649136"
From MaRDI portal
The following pages link to Dependently Typed Programming in Agda (Q3649136):
Displaying 10 items.
- Agda (Q21668) (← links)
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Certified CYK parsing of context-free languages (Q465493) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
- (Q6060675) (← links)
- A correct-by-construction conversion from lambda calculus to combinatory logic (Q6065511) (← links)
- Admissible ordering on monomials is well-founded: a constructive proof (Q6094419) (← links)
