scientific article; zbMATH DE number 785045
From MaRDI portal
Publication:4842534
zbMath0831.68101MaRDI QIDQ4842534
Publication date: 13 February 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Directly reflective meta-programming ⋮ Incorporating quotation and evaluation into Church's type theory
Uses Software
This page was built for publication:
