 |
 |
|
Séminaire:
| 7th workshop on lambda calculus and formal grammars
|
| Date | 2009-03-04 09:45-17:30 |
| Titre | 7th 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
|
| Lieu | salle 76 |
| Date début | 2009-03-04 |
| Date fin | 2009-03-04 |
| Organisateur | Sylvain Salvati |
| Langue | English |
| Thème de recherche | linguistique mathématique, théorie des langages formels, théorie de la démonstration, logique |
| Url | http://www.labri.fr/perso/salvati/lcfg7.html |
Aucun document lié à cet événement. RetourRetour à l'index
| |