Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Thorsten Altenkirch
Themen in »Types for Proofs and Programs«
Isabell Isabelle algorithms formal methods formal reasoning formal verification functional programming higher order logic logic programming programming language subtyping type systems types verification
Stimmen zu »Types for Proofs and Programs«
Details
ISBN: 9783540744634
Verlag: Springer Berlin
Erscheinung: 01.10.2007