Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... ?-terms -- I/O automata in Isabelle/HOL -- A concrete final coalgebra theorem for ZF set theory...”