scientific article

From MaRDI portal

Publication:2702563

Jump to:navigation, search

zbMath0967.03027MaRDI QIDQ2702563

Iliano Cervesato

Publication date: 12 March 2001

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

zbMATH Keywords

sorts Horn clauses higher-order terms logical framework dependent types deductive systems hereditary Harrop formulas

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Fairness and communication-based semantics for session-typed languages

This page was built for publication:

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