Girard, Jean-Yves
From Library of Congress Name Authority File
Girard, Jean-Yves
URI(s)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Variants
- Girard, J.-Y. (Jean-Yves)
Exact Matching Concepts from Other Schemes
Sources
- found: His Proof theory and logical complexity, c1987- : v. 1, t.p. (Jean-Yves Girard)
- found: His Proofs and types, 1989: t.p. (Jean-Yves Girard, CNRS, Univ. Paris VII) p. 4 of cover (J.-Y. Girard)
Change Notes
- 1988-08-17: new
- 2012-12-25: revised
Alternate Formats
