CSL04 September
27 Pages
English
Gain access to the library to view online
Learn more

CSL04 September

Gain access to the library to view online
Learn more
27 Pages
English

Description

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


Subjects

Informations

Published by
Reads 4
Language English

Exrait

CSL04,22September2004Bindings,mobilityofbindings,andther-quantifierDaleMiller,INRIA-FutursandLIX,E´colePolytechniqueBasedontechnicalresultsin:72/1“AProofTheoryforGenericJudgments”,LICS2003&ACMToCL“AProofSearchSpecificationoftheπ-Calculus”,WorkshopontheFoundationsofGlobalUbiquitousComputing,2004.PapersandworkarejointwithAlwenTiu(PhD2004;soonpostdocatLoria,Nancy)
CSL04,22September2004Outline1.Abstractsyntaxforbinders2.Genericjudgmentsandther-quantification3.Inferencerulesfornon-logicalconstantsandequality4.Example:π-calculus72/2