Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Thierry Coquand
Themen in »Types for Proofs and Programs«
Coq Formal Methods Formal Specification Formal Verification Inductive Types Lambda Calculus Program Semantics Programming Logics Programming Theory Rewriting Systems Type Systems Types programming proof theory verification
Stimmen zu »Types for Proofs and Programs«
Details
ISBN: 9783540415176
Verlag: Springer Berlin
Erscheinung: 13.12.2000