CSL04 September

pages

English

Documents

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe et accède à tout notre catalogue !

Je m'inscris

Découvre YouScribe et accède à tout notre catalogue !

Je m'inscris

pages

English

Documents

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

chaeh

Nombre de lectures

Langue

English

Niveau: Supérieur
CSL04, 22 September 2004 1/27 Bindings, mobility of bindings, and the ?-quantifier Dale Miller, INRIA-Futurs and LIX, Ecole Polytechnique Based on technical results in: “A Proof Theory for Generic Judgments”, LICS2003 & ACM ToCL “A Proof Search Specification of the pi-Calculus”, Workshop on the Foundations of Global Ubiquitous Computing, 2004. Papers and work are joint with Alwen Tiu (PhD 2004; soon post doc at Loria, Nancy)

during computation

typed ?-expressions

higher-order abstract

abstract syntax

no such thing

typeof d?x

logical constants

Voir

Publié par

chaeh

Langue

English

CSL04,22September2004Bindings,mobilityofbindings,andther-quantiﬁerDaleMiller,INRIA-FutursandLIX,E´colePolytechniqueBasedontechnicalresultsin:72/1“AProofTheoryforGenericJudgments”,LICS2003&ACMToCL“AProofSearchSpeciﬁcationoftheπ-Calculus”,WorkshopontheFoundationsofGlobalUbiquitousComputing,2004.PapersandworkarejointwithAlwenTiu(PhD2004;soonpostdocatLoria,Nancy)

CSL04,22September2004Outline1.Abstractsyntaxforbinders2.Genericjudgmentsandther-quantiﬁcation3.Inferencerulesfornon-logicalconstantsandequality4.Example:π-calculus72/2

Voir