Document Versions

A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions –Lawrence C. Paulson — 1997
A fixedpoint approach to (co)inductive and (co)datatype definitions –Lawrence C. Paulson — 2000 — Proof, Language, and Interaction: Essays in Honor of Robin Milner
A fixedpoint approach to (co)inductive and (co)datatype definitions –Lawrence C. Paulson — 2000 — Proof, Language, and Interaction: Essays in Honor of Robin Milner
C.: A fixedpoint approach to (co)inductive and (co)datatype definitions. Latest version http://isabelle.in.tum.de/doc/ind-defs.pdf –Lawrence C. Paulson — 2009
A fixedpoint approach to (co)inductive and (co)datatype definitions –Lawrence C. Paulson — 2000 — Proof, Language, and Interaction: Essays in Honour of Robin Milner
A fixedpoint approach to (co)inductive and (co)datatype definitions –Lawrence C. Paulson — 2000 — Proof, Language, and Interaction: Essays in Honour of Robin Milner
A fixedpoint approach to (co)inductive and (co)datatype definitions –Lawrence C. Paulson — 2000 — In Proof, Language, and Interaction
A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions –Lawrence C. Paulson — 1998 — Proof, Language, and Interaction: Essays in Honour of Robin Milner
A fixedpoint approach to (co)inductive and (co)datatype definitions –Lawrence C. Paulson — 2000 — Proof, Language, and Interaction: Essays in Honour of Robin Milner