scientific article

From MaRDI portal

Revision as of 21:56, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3210191

Jump to:navigation, search

zbMath0722.68077MaRDI QIDQ3210191

No author found.

Publication date: 1990

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

zbMATH Keywords

Automath verification of formal system

Mathematics Subject Classification ID

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

Related Items (1)

Telescopic mappings in typed lambda calculus

Uses Software

Automath

This page was built for publication:

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