scientific article

From MaRDI portal

Revision as of 01:52, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4012875

Jump to:navigation, search

zbMath0754.03011MaRDI QIDQ4012875

No author found.

Publication date: 27 September 1992

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

zbMATH Keywords

typed lambda calculus verification system Automath languages term correctness

Mathematics Subject Classification ID

Artificial intelligence (68T99) Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80)

Related Items (5)

The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ Virtual worlds as meeting places for formal systems ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Towards an integration science. The influence of Richard Bellman on our research.

This page was built for publication:

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