scientific article

zbMath0665.03008MaRDI QIDQ3816051

Jean-Louis Krivine

Publication date: 1987

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

zbMATH Keywords

system Fsecond order typed lambda calculus

Mathematics Subject Classification ID

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

Related Items (8)

The Inf function in the system \(F\) ⋮ Decidability results for primitive recursive algorithms ⋮ System ST toward a type system for extraction and proofs of programs ⋮ Finitely stratified polymorphism ⋮ About primitive recursive algorithms ⋮ Unnamed Item ⋮ On the asymptotic behaviour of primitive recursive algorithms ⋮ System \(T\), call-by-value and the minimum problem

This page was built for publication: