scientific article; zbMATH DE number 1302058
From MaRDI portal
Publication:4247302
zbMath0937.03068MaRDI QIDQ4247302
Publication date: 13 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normalizationdependent functionsfragment of Martin-Löf's polymorphic type theoryrealizability model for theories with dependent types
Related Items (3)
Game semantics for dependent types ⋮ Indexed induction-recursion ⋮ Normalization by Evaluation for Martin-Löf Type Theory with One Universe
This page was built for publication:
