Travelled to:1 × Italy
2 × USA
Collaborated with:∅ K.Nakazawa M.Tatsuta Y.Kameyama
Talks about:type (2) construct (1) undecid (1) calculi (1) recurs (1) mechan (1) formal (1) domain (1) throw (1) modal (1)
Person: Hiroshi Nakano
DBLP: Nakano:Hiroshi
Contributed to:
2008
20001992Wrote 3 papers:
- CSL-2008-NakazawaTKN #λ-calculus
- Undecidability of Type-Checking in Domain-Free Typed λ-Calculi with Existence (KN, MT, YK, HN), pp. 478–492.
- LICS-2000-Nakano #recursion
- A Modality for Recursion (HN), pp. 255–266.
- LICS-1992-Nakano #formal method
- A Constructive Formalization of the Catch and Throw Mechanism (HN), pp. 82–89.