scientific article; zbMATH DE number 1499110
From MaRDI portal
Publication:4501164
zbMath0947.03022MaRDI QIDQ4501164
Luigi Liquori, Paweł Urzyczyn, Steffen van Bakel, Simonetta Ronchi della Rocca
Publication date: 3 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Comparing cubes of typed and type assignment systems ⋮ Implicative algebras: a new foundation for realizability and forcing ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
This page was built for publication:
