BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nakano:Hiroshi

Contributed to:

CSL 20082008
LICS 20002000
LICS 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.