Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Di Gianantonio, Pietro
and
Miculan, Marino
2003.
Types for Proofs and Programs.
Vol. 2646,
Issue. ,
p.
148.
Blanqui, Frédéric
2004.
Rewriting Techniques and Applications.
Vol. 3091,
Issue. ,
p.
24.
Barthe, Gilles
Grégoire, Benjamin
and
Pastawski, Fernando
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
71.
Blanqui, Frédéric
2005.
Computer Science Logic.
Vol. 3634,
Issue. ,
p.
135.
Capretta, Venanzio
2005.
General Recursion via Coinductive Types.
Logical Methods in Computer Science,
Vol. Volume 1, Issue 2,
Issue. ,
Abel, Andreas
2006.
Computer Science – Theory and Applications.
Vol. 3967,
Issue. ,
p.
381.
(INRIA), Frédéric Blanqui
and
(INPL), Colin Riba
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
105.
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.
Abel, Andreas
2006.
Computer Science Logic.
Vol. 4207,
Issue. ,
p.
72.
Blanqui, Frédéric
Jouannaud, Jean-Pierre
and
Rubio, Albert
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
1.
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.
ABEL, ANDREAS
2008.
Polarised subtyping for sized types.
Mathematical Structures in Computer Science,
Vol. 18,
Issue. 5,
p.
797.
Barthe, Gilles
Grégoire, Benjamin
and
Riba, Colin
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
493.
Matthes, Ralph
2008.
Logic and Theory of Algorithms.
Vol. 5028,
Issue. ,
p.
431.
Matthes, Ralph
2008.
Mathematics of Program Construction.
Vol. 5133,
Issue. ,
p.
220.
Abel, Andreas
2009.
Type-based termination of generic programs.
Science of Computer Programming,
Vol. 74,
Issue. 8,
p.
550.
Bertot, Yves
and
Komendantskaya, Ekaterina
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
220.
ABEL, ANDREAS
2009.
Implementing a normalizer using sized heterogeneous types.
Journal of Functional Programming,
Vol. 19,
Issue. 3-4,
p.
287.
Barthe, Gilles
Grégoire, Benjamin
and
Riba, Colin
2009.
Language Engineering and Rigorous Software Development.
Vol. 5520,
Issue. ,
p.
100.