scientific article; zbMATH DE number 7438171

zbMath1477.68070arXiv1604.01186MaRDI QIDQ5013829

Tarmo Uustalu, Denis Firsov, Niccolò Veltri

Publication date: 2 December 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other constructive mathematics (03F65)

Related Items

Finiteness and rational sequences, constructively

Uses Software

• Agda

Cites Work

• Unnamed Item
• Unnamed Item
• Stop When You Are Almost-Full
• On streams that are finitely red
• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• Dependently Typed Programming in Agda
• Extensional Constructs in Intensional Type Theory