The following pages link to Alberto Ciaffaglione (Q817856):
Displaying 14 items.
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- (Q2766803) (← links)
- A Coinductive Animation of Turing Machines (Q2797865) (← links)
- (Q2847780) (← links)
- (Q3408131) (← links)
- (Q4736388) (← links)
- (Q4965869) (← links)
- (Q4992397) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- The involutions-as-principal types/application-as-unification Analogy (Q5222959) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479165) (← links)
