Constructive Mathematics and Functional Programming (Abstract)

DOI10.1007/978-3-540-78739-6_12zbMath1133.68309OpenAlexW1603355887MaRDI QIDQ5458392

Thierry Coquand

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_12

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Design and formal proof of a new optimal image segmentation program with hypermaps
• A compiled implementation of strong reduction
• Affine functions and series with co-inductive real numbers
• A monadic, functional implementation of real numbers
• A Modular Formalisation of Finite Group Theory
• The Four Colour Theorem: Engineering of a Formal Proof
• A proof of strong normalisation using domain theory
• New Computational Paradigms
• The Mechanical Evaluation of Expressions

This page was built for publication: Constructive Mathematics and Functional Programming (Abstract)