The following pages link to Pietro Di Gianantonio (Q817857):
Displayed 25 items.
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- A type assignment system for game semantics (Q930873) (← links)
- Real number computability and domain theory (Q1923085) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- (Q2766803) (← links)
- (Q2778818) (← links)
- (Q2847781) (← links)
- Innocent Game Semantics via Intersection Type Assignment Systems (Q2958525) (← links)
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi (Q3184728) (← links)
- RPO, Second-order Contexts, and Lambda-calculus (Q3395101) (← links)
- Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (Q3584942) (← links)
- (Q4260387) (← links)
- (Q4263866) (← links)
- (Q4281469) (← links)
- (Q4435467) (← links)
- (Q4472465) (← links)
- An abstract data type for real numbers (Q4571945) (← links)
- (Q4736388) (← links)
- (Q4847018) (← links)
- A Language for Differentiable Functions (Q4910429) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- Foundations of Software Science and Computation Structures (Q5308447) (← links)
- Computer Science Logic (Q5311251) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)