Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Π
1
2
-
logic
, Part 1: Dilators
Home
Publications
Π
1
2
-
logic
, Part 1: Dilators
Π
1
2
-
logic
, Part 1: Dilators
JG
Jean-Yves Girard
Jean-Yves Girard
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
31 December 1981
journal article
Published by
Elsevier BV
in
Annals of Mathematical Logic
Vol. 21
(2-3)
,
75-219
https://doi.org/10.1016/0003-4843(81)90016-4
Abstract
No abstract available
Keywords
DILATORS
PART
Cited by 94 articles