scientific article

From MaRDI portal

Publication:2771055

Jump to:navigation, search

zbMath0983.03011MaRDI QIDQ2771055

Mario Coppo

Publication date: 21 April 2002

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

zbMATH Keywords

decidability \(\lambda\)-calculus type inference recursive types type assignment principal types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2771055&oldid=15652124"