中野 浩

Inhabitation of polymorphic and existential types 

ANNALS OF PURE AND APPLIED LOGIC 161(11) 1390-1399 2010年8月  査読有り

Undecidability of type-checking in domain-free typed lambda-calculi with existence 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5213 478-492 2008年  査読有り

Fixed-point logic with the approximation modality and its Kripke completeness 

Theoretical Aspects of Computer Software LNCS 2215, pp.165-182 2001年  査読有り

A modality for recursion 

15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS 255-266 255-266 2000年  査読有り

The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property 

Logic, Language and Computation pp.61-72 1994年  査読有り

A constructive logic behind the catch and throw mechanism 

Annals of Pure and Applied Logic 69(2-3) 269-301 1994年  査読有り

A Constructive Formalization of the Catch and Throw Mechanism 

Proc. 7th IEEE Symp. on Logic in Computer Science pp.82-89 1992年  査読有り

コンビネーターを用いた作用的プログラミング系における高階プログラミング技法について 

コンピュータソフトウェア Vol.4, No.4, pp.28-37 1987年  査読有り