Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bove, Ana
and
Capretta, Venanzio
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
116.
Barthe, Gilles
Grégoire, Benjamin
and
Pastawski, Fernando
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
257.
Barthe, Gilles
Forest, Julien
Pichardie, David
and
Rusu, Vlad
2006.
Functional and Logic Programming.
Vol. 3945,
Issue. ,
p.
114.
Mamane, Lionel Elie
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
170.
Setzer, Anton
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
505.
Krauss, Alexander
2006.
Automated Reasoning.
Vol. 4130,
Issue. ,
p.
589.
Capretta, Venanzio
Uustalu, Tarmo
and
Vene, Varmo
2006.
Recursive coalgebras from comonads.
Information and Computation,
Vol. 204,
Issue. 4,
p.
437.
GEUVERS, HERMAN
NIQUI, MILAD
SPITTERS, BAS
and
WIEDIJK, FREEK
2007.
Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 1,
p.
3.
Bove, Ana
and
Capretta, Venanzio
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
70.
Kaliszyk, Cezary
2008.
Intelligent Computer Mathematics.
Vol. 5144,
Issue. ,
p.
300.
Bove, Ana
and
Capretta, Venanzio
2008.
Theorem Proving in Higher Order Logics.
Vol. 5170,
Issue. ,
p.
102.
Bertot, Yves
and
Komendantskaya, Ekaterina
2008.
Inductive and Coinductive Components of Corecursive Functions in Coq.
Electronic Notes in Theoretical Computer Science,
Vol. 203,
Issue. 5,
p.
25.
Bove, Ana
2009.
Another Look at Function Domains.
Electronic Notes in Theoretical Computer Science,
Vol. 249,
Issue. ,
p.
61.
Bove, Ana
and
Dybjer, Peter
2009.
Language Engineering and Rigorous Software Development.
Vol. 5520,
Issue. ,
p.
57.
Capretta, Venanzio
Uustalu, Tarmo
and
Vene, Varmo
2009.
Formal Methods: Foundations and Applications.
Vol. 5902,
Issue. ,
p.
84.
MU, SHIN-CHENG
KO, HSIANG-SHANG
and
JANSSON, PATRIK
2009.
Algebra of programming in Agda: Dependent types for relational program derivation.
Journal of Functional Programming,
Vol. 19,
Issue. 5,
p.
545.
Bove, Ana
Dybjer, Peter
and
Sicard-Ramírez, Andrés
2009.
Embedding a logical theory of constructions in Agda.
p.
59.
Sozeau, Matthieu
2010.
Interactive Theorem Proving.
Vol. 6172,
Issue. ,
p.
419.
Krauss, Alexander
2010.
Recursive Definitions of Monadic Functions.
Electronic Proceedings in Theoretical Computer Science,
Vol. 43,
Issue. ,
p.
1.
Krauss, Alexander
2010.
Partial and Nested Recursive Function Definitions in Higher-order Logic.
Journal of Automated Reasoning,
Vol. 44,
Issue. 4,
p.
303.