scientific article
From MaRDI portal
Publication:3877069
zbMath0436.68060MaRDI QIDQ3877069
No author found.
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to real functions (26-04)
Related Items (6)
A higher-order calculus and theory abstraction ⋮ Automath and Pure Type Systems ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Isomorphism is equality ⋮ Telescopic mappings in typed lambda calculus ⋮ From constructivism to computer science
Uses Software
This page was built for publication:
