scientific article; zbMATH DE number 1373518
From MaRDI portal
Publication:4704206
zbMath0933.68067MaRDI QIDQ4704206
No author found.
Publication date: 2 December 1999
Full work available at URL: https://eudml.org/doc/120171
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Normalization by evaluation and algebraic effects ⋮ Galois Theory of Algorithms ⋮ Inductive-data-type systems ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY
This page was built for publication:
