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.
Capretta, Venanzio
2005.
General Recursion via Coinductive Types.
Logical Methods in Computer Science,
Vol. Volume 1, Issue 2,
Issue. ,
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.
Barthe, Gilles
Grégoire, Benjamin
and
Pastawski, Fernando
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
257.
Abel, Andreas
2006.
Computer Science – Theory and Applications.
Vol. 3967,
Issue. ,
p.
381.
Barthe, Gilles
Forest, Julien
Pichardie, David
and
Rusu, Vlad
2006.
Functional and Logic Programming.
Vol. 3945,
Issue. ,
p.
114.
(INRIA), Frédéric Blanqui
and
(INPL), Colin Riba
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
105.
Abel, Andreas
2006.
Computer Science Logic.
Vol. 4207,
Issue. ,
p.
72.
ABEL, ANDREAS
2008.
Polarised subtyping for sized types.
Mathematical Structures in Computer Science,
Vol. 18,
Issue. 5,
p.
797.
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.
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.
Barthe, Gilles
Grégoire, Benjamin
and
Riba, Colin
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
493.
Abel, Andreas
2009.
Type-based termination of generic programs.
Science of Computer Programming,
Vol. 74,
Issue. 8,
p.
550.
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.
Blanqui, Frédéric
and
Roux, Cody
2009.
Computer Science Logic.
Vol. 5771,
Issue. ,
p.
147.