Evènement pour le groupe Graphes et Logique


Date 2011-11-29  11:00-12:00
TitreTowards nominal computation 
RésuméNominal sets are a different kind of set theory, with a more relaxed notion of finiteness. They offer an elegant formalism for describing lambda-terms modulo alpha-conversion, or automata on data words. This presentation is an attempt at defining computation in nominal sets. We present a rudimentary programming language, called Nλ. The key idea is that it includes a native type for finite sets in the nominal sense. 
Lieusalle 76 
OrateurLaurent Braud 
Emaillaurent.braud@labri.fr  
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index