F. Blanqui. Thorie des Types et Rcriture. PhD thesis, Universit Paris XI, Orsay, France, 2001. Available in english as "Type Theory and Rewriting". Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Inductive Types in the Calculus of Algebraic Constructions - Blanqui (2003) Self-citation (Blanqui Types) (Correct)
No context found.
F. Blanqui. Thorie des Types et Rcriture. PhD thesis, Universit Paris XI, Orsay, France, 2001. Available in english as "Type Theory and Rewriting".
Rewriting modulo in Deduction modulo - Blanqui (2003) (1 citation) Self-citation (Blanqui) (Correct)
No context found.
F. Blanqui. Thorie des Types et Rcriture. PhD thesis, Universit Paris XI, Orsay, France, 2001. Available in english as "Type Theory and Rewriting".
On the Confluence of λ-Calculus with Conditional.. - Blanqui, Kirchner, Riba Self-citation (Blanqui) (Correct)
No context found.
F. Blanqui. Type Theory and Rewriting. PhD thesis, University Paris-Sud, 2001.
Inductive Types in the Calculus of Algebraic Constructions - Blanqui (2005) Self-citation (Blanqui) (Correct)
No context found.
Blanqui, F.: Thorie des Types et Rcriture, Ph.D. Thesis, Universit Paris XI, Orsay, France, 2001, Available in english as "Type Theory and Rewriting".
Definitions by rewriting in the Calculus of Constructions - Blanqui (2003) (2 citations) Self-citation (Blanqui) (Correct)
No context found.
F. Blanqui. Thorie des Types et Rcriture. PhD thesis, Universit Paris XI, Orsay, France, 2001. Available in english as "Type Theory and Rewriting". F. Blanqui. De nitions by rewriting in the Calculus of Constructions (extended abstract). In Proc. of the 16th IEEE Symp. on Logic in Computer Science, 2001.
Termination Checking with Types - Abel (1999) (6 citations) (Correct)
No context found.
F. Blanqui. Type Theory and Rewriting. PhD thesis, Univeriste Paris XI, Sept. 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC