Where results make sense

About us   |   Why use us?   |   Reviews   |   PR   |   Contact us

Topic: Jean-Yves Girard

    Note: these results are not from the primary (high quality) database.

Ads by Google

Related Topics

Marc Amable Girard

Girard Desargues

Girard, Kansas

Girard Township

Jocelyne Girard Bujold

Girard, Ohio

Andr eacute Girard

Pierre Girard

Stephen Girard

Jean Baptiste Girard

Girard College

Girard Township, Erie County, Pennsylvania

In the News (Tue 17 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

Jean-Yves Girard - Wikipedia, the free encyclopedia Jean-Yves Girard is a French mathematician working in proof theory. Girard is a research director of CNRS in Marseilles and a corresponding member of the French Academy of Sciences. This biographical article about a mathematician is a stub. en.wikipedia.org /wiki/Jean-Yves_Girard

Proof theory - Wikipedia, the free encyclopedia More exotic proof calculi such as Jean-Yves Girard 's proof nets also support a notion of analytic proof. Structural proof theory is connected to type theory by means of the Curry-Howard correspondence, which observes a structural analogy between the process of normalisation in the natural deduction calculus and beta reduction in the typed lambda calculus. His natural deduction calculus also supports a notion of analytic proof, as shown by Dag Prawitz ; the definition is slightly more complex, we say the analytic proofs are the normal forms, which are related to the notion of normal form in term rewriting. en.wikipedia.org /wiki/Proof_theory

SDRL: Systems Design Research Lab We observe that the essence of Girard's result is a projection from P2 into F2, and that the essence of Reynolds's result is an embedding of F2 into P2, and that the Reynolds embedding followed by the Girard projection is the identity. Girard's visit to Penn is jointly sponsored by the Penn Mathematics Department and the French Institute of Science and Technology. Girard is visiting Penn in conjunction with the 2001 Annual Meeting of the Association for Symbolic Logic, which will be held at Penn, March 10-13. www.cis.upenn.edu /sdrl/sem01.php3

System F - Wikipedia, the free encyclopedia It was discovered independently by the logician Jean-Yves Girard and the computer scientist John C. Reynolds. It is also known as the second-order or polymorphic lambda calculus. System F formalizes the notion of parametric polymorphism in programming languages. en.wikipedia.org /wiki/System_F

Articles Jean-Yves Girard Girard, J.-Y. Proof-nets : the parallel syntax for proof-theory, Logic and Algebra, eds Ursini and Agliano, Marcel Dekker, New York 1996. Girard, J.-Y. Titres et travaux, dernière actualisation Juin 2004. Girard, J.-Y. Notes on linear logic and ludics, Electronic slides from the Linear Summer School, Azores 31/8-6/9 2000. iml.univ-mrs.fr /~girard/Articles.html

Divorce Pennsylvania Webring / Read reviews on Girard Pennsylvania here Girard is a borough located in Erie County, Pennsylvania. In addition to information concerning girard pennsylvania we also offer the best websites concerning divorce, divorce help and divorce law. Known as Père Girard, a Swiss pedagogue, b. www.divorcepennsylvania.com /girard-pennsylvania.htm

week70 Yves Lafont, A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier), CNRS preprint. Yves Lafont also gave a talk with strong connections to n-category theory. Indeed, Girard gave a fascinating talk on it which almost made me feel I understood it. math.ucr.edu /home/baez/week70

Auberge du Parc Inn Paspebiac Gaspe Peninsula Quebec Canada - Thalassotherapy, algea wrapping, hydrotherapy, massages, electrotherapy, pressotherapy. Healthy vacation. Jean Soulard, the renowned chef at the Château Frontenac in Quebec City, created the menus and trained the kitchen staff in exchange for a week of treaments. Lucille a pleuré, Pierre a dormi, Jean a eu des bouffées de chaleur et moi, un peu de tout ça. C'est le chef Jean Soulard, du Château Frontenac, qui à vu l'élaboration des menus "allégés" : filet de hareng mariné (un must), crabe sous voile doré au velouté de cari, suprême de pintadeau farci aux noix... www.aubergeduparc.com /en/appreciations_presse.asp

Interaction Nets Yves Lafont's interaction nets have proven themselves to be a very fruitful formalism both from a theoretical and a practical standpoint. In the theory of the lambda calculus, an interaction net formalism provided John Lamping the basis for a practical realisation of the partial sharing needed to capture Jean-Jacques Lévy's notion of optimal reduction. Interaction nets: a bridge from theory to practice www.linearity.org /cas/abstracts/dresden-2000.html

TYPES 2002 Workshop We are happy to have Dana Scott, Jean-Yves Girard and Peter Aczel as invited speakers for this special occasion. The 2002 Workshop of the EC TYPES Working Group (IST-1999-290001-TYPES) will be held in Berg en Dal (near Nijmegen), Netherlands, from April 24 until April 28. The "call for presentations" is closed, as of March 15. www.cs.ru.nl /fnds/TYPES2002

girard GIRARD - As Girard inches toward finally repairing its dam, U.S. Rep. Timothy J. Ryan pulled it a few feet closer Thursday when the House passed legislation that included an addition for authorizing $6 million for the project. GIRARD - After essentially disbanding the Investigations Unit of the Girard Police Department in his first weeks as chief, Frank Bigowsky is getting officers' feet wet in the new system after a fatal shooting Saturday. Girard Borough took its name from Stephen Girard, a Philadelphia philanthropist who owned land in the area.  Citizens in the township hoped to entice him to... girard.networklive.org

Advances in Linear Logic - Cambridge University Press Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. Geometry of interacion III: accomodating the additives J. Girard. www.cambridge.org /uk/catalogue/catalogue.asp?isbn=0521559618

nov2.98.txt It is being run jointly with the Church group at Boston University---on alternate weeks we will meet at BU.) I am going to give a general talk about linear logic, a new logic of resources proposed in 1987 by Jean-Yves Girard. READING: Jean-Yves Girard, Linear Logic: its Syntax and Semantics. I hope to give listeners a grasp of what linear logic is like, and why someone interested in programming language design and implementation might want to know about it. www.cs.brandeis.edu /~mairson/PL-seminar/nov2.98.txt

linear.di.fc.ul.pt Inspired by the quantitative semantics of Jean-Yves Girard, we give a characterization of the morphisms of the co-Kleisly category of the corresponding comonad. Jean-Yves Girard, Linear Logic, it syntax and semantics, in Advances in Linear Logic, CUP, LMSLNS 222 Interaction nets, a graphical paradigm of rewriting due to Yves Lafont, is a very promising formalism for implementation on parallel architectures. linear.di.fc.ul.pt

Swinging, a Societal Phenomenon Jean Hamel had help from professionnals for his book, What a good move! "Less casual than Catherine M., Jean Hamel goes right to the point and answers basic questions about swinging. F inally, to better understand swinging, or if the experience of it attracts you, you will have in hand the most honest and direct information you need to make your own choices. www.echangisme.qc.ca /english

Links on Logic Jean-Yves Girard 1995: Proof-nets: the parallel syntax for proof-theory Jean-Yves Girard: http://iml.univ-mrs.fr/~girard/, ftp area, "Titres et travaux" (1997). Jean-Yves Girard 1995: Linear logic: its syntax and semantics angg.twu.net /logic.html

Substructural Logics Girard, Jean-Yves, 1987, "Linear Logic," Theoretical Computer Science 50 1-101. Girard (1987) introduced linear logic as a model for processes and resource use. The idea in this account of deduction is that resources must be used (so premise combination satisfies the relevance criterion) and they do not extend indefinitely. setis.library.usyd.edu.au /stanford/entries/logic-substructural

Proofs and Types By Jean-Yves Girard, translated and with appendices by Yves also chose the notation, making it consistent through the book. Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7. www.cs.man.ac.uk /~pt/stable/Proofs+Types.html

DBLP: Jean-Yves Girard Jean-Yves Girard, Jacqueline Vauzeilles : Functors and Ordinal Notations. Jean-Yves Girard: Locus Solum: From the rules of logic to the logic of rules. Jean-Yves Girard: Locus Solum: From the Rules of Logic to the Logic of Rules. informatik.uni-trier.de /~ley/db/indices/a-tree/g/Girard:Jean=Yves.html

LogBlog: Proofs and Types - Richard Zach's Logic and Philosophy Blog Proofs and Types, the classic 1989 proof theory text by Jean-Yves Girard (translated and with appendices by Paul Taylor and Yves Lafont) has been online for over a year, I just found out. GLT vs. TS I'd rate the Girard-Lafont-Taylor text much higher as an introduction to the formulae-as-types/normalisation field than Troelstra-Schwichtenberg, for all sorts of reasons, but with the warning that Girard has an agenda and the text does not quite conform to usual standards of scholarship. I posted an advert for the GLT book on my diary a couple of years back [1], and got into a nice discussion with Robert Solovay as a result [2], which casts some light on the whole relationship between normalisation and concistency proofs that isn't, I think, widely appreciated. www.ucalgary.ca /~rzach/logblog/2005/02/proofs-and-types.html

Untitled Document At April 27, 2002 talks were given by Dana S Scott, Peter Aczel and Jean Yves Girard. Below are links to the talks of all three speakers and to the slides of Peter Aczel and Jean Yves Girard (we apologize for the bad sound quality on the video with Dana Scott and the fuzzy picture at the first part of the video with Jeay Yves Girard) www.cs.ru.nl /fnds/MartinLoefDay

ENS/PSU Workshop on reasoning about concurrency Concurrent Constraint Programs (CC) can be translated into formulas of Jean-Yves Girard's Linear Logic (LL) so that both soundness and completeness theorems hold w.r.t. www.cse.psu.edu /~wajs/ens-psu-workshop.html