Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Paul Callaghan
Themen in »Types for Proofs and Programs«
Formal Methods Formal Specification Formal Verification Inductive Types Lambda Calculus Natural Programming Logics Programming Theory Rewriting Systems Type Systems data structures logic proof proof theory type theory
Stimmen zu »Types for Proofs and Programs«
Details
ISBN: 9783540432876
Verlag: Springer Berlin
Erscheinung: 20.02.2002