scientific article; zbMATH DE number 1062114
From MaRDI portal
Publication:4354787
zbMath0876.03003MaRDI QIDQ4354787
Publication date: 17 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Revisiting the notion of function ⋮ Automath and Pure Type Systems ⋮ Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
This page was built for publication:
