Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers

DOI10.1007/3-540-60579-7zbMath0866.00037OpenAlexW4293770342MaRDI QIDQ1902697

No author found.

Publication date: 22 November 1995

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60579-7

zbMATH Keywords

WorkshopSelected papersTypesBåstad (Sweden)Proofs and programsTYPES '94

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (max. 100)

Bisimulations Generated from Corecursive Equations ⋮ Coalgebras in functional programming and type theory ⋮ (Co)inductive proof systems for compositional proofs in reachability logic ⋮ A PVS Theory for Term Rewriting Systems ⋮ A metalanguage for guarded iteration ⋮ Coalgebraic logic

This page was built for publication: Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers