Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
1581 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Typed lambda calculi and applications, 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, proceedings, Jean-Yves Girard (ed), 1999, New York, Springer, 1 vol. (VIII-396 p.), Lecture notes in computer science, 3-540-65763-0 • Typed Lambda Calculi and Applications, Texte imprimé, 9783662185056 |
| LEADER | 03997nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 949203 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15522090X | ||
| 020 | |a 9783540489597 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Typed Lambda Calculi and Applications |n (04 |d :1999 |c :L'Aquila, Italie). | |
| 245 | 1 | 0 | |a Typed lambda calculi and applications : |b 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings |c [edited by] Jean-Yves Girard. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1581 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Demonstration -- The Coordination Language Facility and Applications -- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem -- Contributions -- Modules in Non-commutative Logic -- Elementary Complexity and Geometry of Interaction -- Quantitative Semantics Revisited -- Total Functionals and Well-Founded Strategies -- Counting a Type s Principal Inhabitants -- Useless-Code Detection and Elimination for PCF with Algebraic Data Types -- Every Unsolvable ? Term has a Decoration -- Game Semantics for Untyped ???-Calculus -- A Finite Axiomatization of Inductive-Recursive Definitions -- Lambda Definability with Sums via Grothendieck Logical Relations -- Explicitly Typed ??-Calculus for Polymorphism and Call-by-Value -- Soundness of the Logical Framework for Its Typed Operational Semantic -- Logical Predicates for Intuitionistic Linear Type Theories -- Polarized Proof-Nets: Proof-Nets for LC -- Call-by-Push-Value: A Subsuming Paradigm -- A Study of Abramsky s Linear Chemical Abstract Machine -- Resource Interpretations, Bunched Implications and the ??-Calculus (Preliminary Version) -- A Curry-Howard Isomorphism for Compilation and Program Execution -- Natural Deduction for Intuitionistic Non-commutative Linear Logic -- A Logic for Abstract Data Types as Existential Types -- Characterising Explicit Substitutions which Preserve Termination -- Explicit Environments -- Consequences of Jacopini s Theorem: Consistent Equalities and Equations -- Strong Normalisation of Cut-Elimination in Classical Logic -- Pure Type Systems with Subtyping. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Informatique | ||
| 650 | |a Lambda-calcul | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Girard, Jean-Yves, |d 1947-...., |c mathématicien-logicien. |4 pbd | |
| 776 | 0 | |0 045944962 |t Typed lambda calculi and applications |o 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 |o proceedings |f Jean-Yves Girard (ed) |d 1999 |c New York |n Springer |p 1 vol. (VIII-396 p.) |s Lecture notes in computer science |z 3-540-65763-0 | |
| 776 | 0 | |t Typed Lambda Calculi and Applications |b Texte imprimé |z 9783662185056 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48959-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TBXWBCS0-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748056904 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48959-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751508241 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48959-2 |z Accès INSA CVL | |
| 997 | |0 949203 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||