scientific article
From MaRDI portal
Publication:3360175
zbMath0733.03043MaRDI QIDQ3360175
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
syntaxintuitionistic type theoryMartin-Löf's theory of expressionspossibly infinite objectssemantics of operators that introduce infinite objects
Semantics in the theory of computing (68Q55) Second- and higher-order arithmetic and fragments (03F35)
Related Items (1)
This page was built for publication: