The following pages link to Venanzio Capretta (Q639642):
Displaying 24 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- The coinductive formulation of common knowledge (Q1791151) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- (Q2754033) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- Recursive coalgebras from comonads (Q2847806) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- A Type of Partial Recursive Functions (Q3543653) (← links)
- Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq (Q3612436) (← links)
- Computation by Prophecy (Q3612623) (← links)
- Corecursive Algebras: A Study of General Structured Corecursion (Q3651278) (← links)
- (Q3656423) (← links)
- Setoids in type theory (Q4457833) (← links)
- (Q4484334) (← links)
- (Q4790656) (← links)
- (Q4790658) (← links)
- (Q4945205) (← links)
- A general method for proving the normalization theorem for first and second order typed λ-calculi (Q4946629) (← links)
- (Q5144666) (← links)
- General Recursion via Coinductive Types (Q5310638) (← links)
- Reflection in the Chomsky hierarchy (Q5507097) (← links)
- Modelling general recursion in type theory (Q5697711) (← links)
- Typed Lambda Calculi and Applications (Q5704004) (← links)
- Typed Lambda Calculi and Applications (Q5704016) (← links)