scientific article

zbMath0645.03013MaRDI QIDQ3787978

Jean-Yves Girard

Publication date: 1987

Full work available at URL: http://www.numdam.org/item?id=SB_1986-1987__29__173_0

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

zbMATH Keywords

typed \(\lambda \)-calculussecond-order lambda-calculus

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: