Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Barthe, Gilles
Hatcliff, John
and
Sørensen, Morten Heine B.
2001.
An induction principle for pure type systems.
Theoretical Computer Science,
Vol. 266,
Issue. 1-2,
p.
773.
Gutiérrez, Francisco
and
Ruiz, Blas
2002.
Order Functional Pure Type Systems.
Electronic Notes in Theoretical Computer Science,
Vol. 76,
Issue. ,
p.
162.
Gutiérrez, Francisco
and
Ruiz, Blas
2003.
Logic Based Program Synthesis and Transformation.
Vol. 2664,
Issue. ,
p.
17.
Gutiérrez, Francisco
and
Ruiz, Blas
2003.
Automata, Languages and Programming.
Vol. 2719,
Issue. ,
p.
956.
Gutiérrez, Francisco
and
Ruiz, Blas
2003.
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.
Electronic Notes in Theoretical Computer Science,
Vol. 84,
Issue. ,
p.
105.
Lengrand, Stéphane
Dyckhoff, Roy
and
McKinna, James
2006.
Computer Science Logic.
Vol. 4207,
Issue. ,
p.
441.
Lengrand, Stéphane Jean Eric
Dyckhoff, Roy
and
McKinna, James
2011.
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems.
Logical Methods in Computer Science,
Vol. Volume 7, Issue 1,
Issue. ,
Discussions
No Discussions have been published for this article.