scientific article; zbMATH DE number 4187805

zbMath0721.03043MaRDI QIDQ5752569

Per Martin-Löf

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

choice sequencesintuitive notions of the infinitenonstandard extension of type theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonstandard models (03H99)

Related Items (12)

Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ A model for intuitionistic non-standard arithmetic ⋮ A constructive approach to nonstandard analysis ⋮ Unnamed Item ⋮ Foundational aspects of multiscale digitization ⋮ Infinite objects in type theory ⋮ A constructive approach to state description semantics ⋮ Coalgebras in functional programming and type theory ⋮ A Dialogical Account of the Intersubjectivity of Intuitionism ⋮ Remarks on Martin-Löf's partial type theory ⋮ Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective

This page was built for publication: