Home
Logic Unit
RCSV
- CafeOBJ
Core2Core
- Activities
- Memberships
Projects
- Constructive reverse mathematics and computational content of mathematical theorems
Events
Members

seminars

Visitors

From Types to Type Theory to Proofs of Programs

2016/03/07

Map and Direction | Contact us
Copyright (c) 2010-2022 Japan Advanced Institute of Science and Technology. All Rights Reserved.
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan