Venanzio Capretta

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5144666	2021-01-19	Paper
The coinductive formulation of common knowledge	2018-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q5507097	2016-12-16	Paper
Bisimulations Generated from Corecursive Equations	2016-07-08	Paper
A Coalgebraic View of Bar Recursion and Bar Induction	2016-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2847806	2013-09-11	Paper
Coalgebras in functional programming and type theory	2011-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3656423	2010-01-13	Paper
Corecursive Algebras: A Study of General Structured Corecursion	2009-12-09	Paper
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq	2009-03-10	Paper
Computation by Prophecy	2009-03-10	Paper
A Type of Partial Recursive Functions	2008-12-04	Paper
General Recursion via Coinductive Types	2007-10-11	Paper
Recursive coalgebras from comonads	2006-06-30	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Modelling general recursion in type theory	2005-10-18	Paper
Setoids in type theory	2004-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4484334	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4790656	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4790658	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754033	2001-11-11	Paper
A general method for proving the normalization theorem for first and second order typed λ-calculi	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4945205	2000-03-23	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Venanzio Capretta