Paul Rozière

According to our database¹, Paul Rozière authored at least 4 papers between 1993 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Unification in Intermediate Logics.

[BibT_eX]

[DOI]

J. Symb. Log., 2015

2006

PhoX.

[BibT_eX]

[DOI]

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

1993

Admissible and Derivable Rules in Intuitionistic Logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1993

Constant Time Reductions in Lambda-Caculus.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993