scientific article

MaRDI QIDQ3384910

Conor McBride

Publication date: 17 December 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

A correct-by-construction conversion from lambda calculus to combinatory logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Viewing \({\lambda}\)-terms through maps
• Variable abstraction in O(n log n) space
• Substitution: A formal methods case study using monads and transformations
• Strongly typed term representations in Coq
• APLicative Programming with Naperian Functors
• First-order unification by structural recursion
• Implementing a normalizer using sized heterogeneous types
• Dependently Typed Programming in Agda
• A framework for defining logics
• de Bruijn notation as a nested datatype
• Categorical reconstruction of a reduction free normalization proof
• Types for Proofs and Programs
• Automated Deduction – CADE-19

This page was built for publication: