scientific article; zbMATH DE number 7314989

zbMath1455.68100arXiv1008.2112MaRDI QIDQ4963901

Tarmo Uustalu, Keiko Nakata

Publication date: 24 February 2021

Full work available at URL: https://arxiv.org/abs/1008.2112

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20) Type theory (03B38)

Related Items (6)

The coinductive resumption monad ⋮ A realizability interpretation of Church's simple theory of types ⋮ Polarized subtyping ⋮ Characteristic formulae for liveness properties of non-terminating CakeML programs ⋮ Flag-based big-step semantics ⋮ A metalanguage for guarded iteration

Uses Software

• Unnamed Item

This page was built for publication: