Zobrazeno 1 - 10
of 82
pro vyhledávání: '"Jean-Yves Girard"'
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction o
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basi
Autor:
Jean-Yves Girard
Publikováno v:
Logic, Language, and Security ISBN: 9783030620769
Logic, Language, and Security
Logic, Language, and Security
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13a2587ed2cb8bee36a3fb00e810b078
https://doi.org/10.1007/978-3-030-62077-6_2
https://doi.org/10.1007/978-3-030-62077-6_2
Devenir aveugle : pour Marie-Christine comme pour quiconque, cette idée est inconcevable et terrifiante. C'est pourtant la sentence que la jeune femme de 30 ans reçoit au printemps 2018 : elle ne verra plus. Jamais. Les couchers de soleil, son vis
Autor:
Jean-Yves Girard
Juillet 1997. Michel Courtemanche a 32 ans et il trône au sommet. Premier humoriste québécois connu à l'étranger, il a conquis une bonne partie de l'Europe. La France l'a adopté et l'a surnommé « le comique qui cartoone ». Partout, le Lavall
Autor:
Jean-Yves Girard
Publikováno v:
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
Mathematical Structures in Computer Science, 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 27 (5), pp.827-849. ⟨10.1017/S0960129515000407⟩
We study logic in the light of the Kantian distinction between analytic (untyped, meaningless, locative) answers and synthetic (typed, meaningful, spiritual) questions. Which is specially relevant to proof-theory: in a proof-net, the upper part is lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::794e05cbc93829c30f29e36c015f2976
https://hal.science/hal-01322327
https://hal.science/hal-01322327
Publikováno v:
Logic Colloquium '03: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14–20, 2003
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae34bcfdba5467a43e4f7b8890cbd086
https://doi.org/10.1017/9781316755785.006
https://doi.org/10.1017/9781316755785.006
Autor:
Jean-Yves Girard
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2011, Girard’s Festschrift, 412 (20), pp.1860-1883. ⟨10.1016/j.tcs.2010.12.016⟩
Theoretical Computer Science, 2011, Girard’s Festschrift, 412 (20), pp.1860-1883. ⟨10.1016/j.tcs.2010.12.016⟩
Theoretical Computer Science, Elsevier, 2011, Girard’s Festschrift, 412 (20), pp.1860-1883. ⟨10.1016/j.tcs.2010.12.016⟩
Theoretical Computer Science, 2011, Girard’s Festschrift, 412 (20), pp.1860-1883. ⟨10.1016/j.tcs.2010.12.016⟩
À Claire Delaleu (1991–2009).; International audience; Geometry of Interaction is a transcendental syntax developed in the framework of operator algebras. This fifth installment of the program takes place inside a von Neumann algebra, the hyperfin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e05680b8b3125741338d9e46fdc6bb18
https://doi.org/10.1016/j.tcs.2010.12.016
https://doi.org/10.1016/j.tcs.2010.12.016
Autor:
Masahito Hasegawa, Pierre-Louis Curien, P. Selinger, Glynn Winskel, H. Ehrig, Jean-Yves Girard, M. Barr, Abbas Edalat, Benjamin C. Pierce, T. Ehrhard, Giuseppe Longo, T. Paul, R. A. G. Seely, R. De Nicola, Catuscia Palamidessi, J. Tiuryn, S. Lack, Michael W. Mislove, Robin Milner, Andre Scedrov, Gordon Plotkin, Ugo Montanari, Andrew M. Pitts, Eugenio Moggi, Martín Hötzel Escardó, Alex Simpson, G. Berry, Philip J. Scott, Thierry Coquand, Furio Honsell, Dana Scott, M. Kanovitch, E. Asarin, Martin Hyland
Publikováno v:
Mathematical Structures in Computer Science. 19:1-4
Have you ever seen the Citation Indexes (CIs) for the year 1600? At that time, a very active community was working on the reconstruction of planetary movements by means of epicycles. In principle, any ellipse around the Sun may be approximated by suf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a288b0206c08fcc0c3da50fca2bfaf6f
https://doi.org/10.1017/s0960129508007391
https://doi.org/10.1017/s0960129508007391