Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Séminaire:   
7th workshop on lambda calculus and formal grammars

Date 2009-03-04  09:45-17:30
Titre7th workshop on lambda calculus and formal grammars 
RésuméThis workshop is the seventh edition of a series of informal workshops initiated by Makoto Kanazawa. This series is mostly concerned with formalisms independently defined by Reinhard Muskens and Philippe de Groote: lambda grammars or abstract categorial grammars. This workshop more particularly focuses on: - the connections of these formalisms with formal language theory, type theory and logic - the models of natural languages these formalisms propose  
Lieusalle 76 
Date début2009-03-04 
Date fin2009-03-04 
OrganisateurSylvain Salvati 
LangueEnglish 
Thème de recherchelinguistique mathématique, théorie des langages formels, théorie de la démonstration, logique 
Urlhttp://www.labri.fr/perso/salvati/lcfg7.html 



Aucun document lié à cet événement.

Retour
Retour à l'index