scientific article; zbMATH DE number 2061701

zbMath1040.03024MaRDI QIDQ4457447

Frédéric Blanqui

Publication date: 22 March 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010046.htm

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Type Theories from Barendregt’s Cube for Theorem Provers

Uses Software

• Coq

This page was built for publication: