Lafont, Yves
Edit Page
Report
Scan day: 09 February 2014 UTC
9
Virus safety - good
Description: University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.
Institut de Mathématiques de Luminy Équipe de Logique de la Programmation Institut de Mathématiques de Luminy - 163 avenue de Luminy, Case 907 - 13288 Marseille CEDEX 9 proof theory - theory of computation - homotopical algebra
Size: 227 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Page of Yves Lafont |
| Keywords: | |
| Description: | |
| IP-address: | 139.124.6.1 |
WHOIS Info
| NS | ns1.univmed.fr [139.124.1.1 2001:660:5402:801::1] ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2] |
| WHOIS | status: ACTIVE |
| Date | created: 18/04/1996 last-update: 25/02/2010 changed: 08/11/2005 [email protected] changed: 09/05/2005 [email protected] changed: 02/12/2009 [email protected] changed: 09/05/2005 [email protected] changed: 09/05/2005 [email protected] |