inria-00076023, version 1

An analysis of Girard's paradox

T. Coquand ¹

N° RR-0531 (1986)

• 1:  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domain : Computer Science/Other
• Internal note : RR-0531

• inria-00076023, version 1
• http://hal.inria.fr/inria-00076023
• oai:hal.inria.fr:inria-00076023
• From: Rapport De Recherche Inria <>
• Submitted on: Wednesday, 24 May 2006 19:48:52
• Updated on: Wednesday, 31 May 2006 14:24:36