scientific article

MaRDI QIDQ3300787

Thierry Coquand, Andreas Abel

Publication date: 30 July 2020

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

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

zbMATH Keywords

expressivityAllen's relationsinterval based temporal logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Reduction Free Normalisation for a proof irrelevant type of propositions ⋮ Constructing a universe for the setoid model

Uses Software

• Automath
• Lean

Cites Work

• Unnamed Item
• Unnamed Item
• The calculus of constructions
• Parametricity and variants of Girard's \(J\) operator
• Constructive mathematics and computer programming

This page was built for publication: