Venanzio Capretta

MaRDI QIDQ639642zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7297867 (Why is no real title available?)	2021-01-19	Paper
The coinductive formulation of common knowledge	2018-10-04	Paper
Reflection in the Chomsky hierarchy	2016-12-16	Paper
Bisimulations generated from corecursive equations Electronic Notes in Theoretical Computer Science	2016-07-08	Paper
A coalgebraic view of bar recursion and bar induction Lecture Notes in Computer Science	2016-06-10	Paper
Recursive coalgebras from comonads	2013-09-11	Paper
Coalgebras in functional programming and type theory Theoretical Computer Science	2011-09-22	Paper
Higher-order abstract syntax in type theory	2010-01-13	Paper
Corecursive algebras: a study of general structured corecursion Lecture Notes in Computer Science	2009-12-09	Paper
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq Lecture Notes in Computer Science	2009-03-10	Paper
Computation by Prophecy Lecture Notes in Computer Science	2009-03-10	Paper
A Type of Partial Recursive Functions Lecture Notes in Computer Science	2008-12-04	Paper
General Recursion via Coinductive Types Logical Methods in Computer Science	2007-10-11	Paper
Recursive coalgebras from comonads Information and Computation	2006-06-30	Paper
Typed Lambda Calculi and Applications Lecture Notes in Computer Science	2005-11-11	Paper
Typed Lambda Calculi and Applications Lecture Notes in Computer Science	2005-11-11	Paper
Modelling general recursion in type theory Mathematical Structures in Computer Science	2005-10-18	Paper
Setoids in type theory Journal of Functional Programming	2004-03-17	Paper
scientific article; zbMATH DE number 1927416 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1863381 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1863383 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1670736 (Why is no real title available?)	2001-11-11	Paper
A general method for proving the normalization theorem for first and second order typed λ-calculi Mathematical Structures in Computer Science	2000-08-23	Paper
scientific article; zbMATH DE number 1424016 (Why is no real title available?)	2000-03-23	Paper

Research outcomes over time

This page was built for person: Venanzio Capretta