Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Jacques Garrigue

Address Nagoya University
Graduate School of Mathematics
Furocho, Chikusaku
Nagoya 464-8602
Japan

Projects

As Cooperation Partner
- Completed projects
  - LaST-FP: Linear Types and Session Types for Functional Programming (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy