Right and left invertibility in $\lambda - \beta $-calculus

The search session has expired. Please query the service again.

Displaying similar documents to “Right and left invertibility in $λ - β$ -calculus”

M. Dezani-Ciancaglini, S. Ronchi Della Rocca, L. Saitta (1979)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

U. Schmid (1992)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Rainer Kemp (1995)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Bruno Courcelle (1978)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Markus E. Nebel (1996)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Berthold Hoffmann, Detlef Plump (1991)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Athanasios K. Tsakalidis (1985)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity: