scientific article

From MaRDI portal

Revision as of 14:24, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3345747

Jump to:navigation, search

zbMath0552.68006MaRDI QIDQ3345747

Mariangiola Dezani-Ciancaglini, Ines Margaria

Publication date: 1984

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

zbMATH Keywords

lambda calculus F-completeness F-semantics F-soundness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Related Items (7)

A characterization of F-complete type assignments ⋮ Intersection type assignment systems ⋮ Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ Polymorphic type inference and containment ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Complete restrictions of the intersection type discipline ⋮ Types with intersection: An introduction

This page was built for publication:

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