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 en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

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

Nombre de lectures

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