scientific article
From MaRDI portal
Publication:3024837
zbMath1063.68602MaRDI QIDQ3024837
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Quotients by Idempotent Functions in Cedille ⋮ Unnamed Item ⋮ Coalgebras in functional programming and type theory ⋮ Equilogical spaces
This page was built for publication:
