Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(5)
Makoto Tatsuta
6
Yukiyoshi Kameyama (亀山幸義)
2
Hiroshi Nakano
2
Yuki Kato (加藤有己)
1
Satoshi Ikeda
1
Conferences
(3)
TLCA
1
CSL
1
WFLP
1
Journals
(4)
TCS
3
JSYML
2
IPL
1
APAL
1
Keywords
(14)
Embed
Subscribe
Academic
Authors
Koji Nakazawa
Edit
Koji Nakazawa (中澤巧爾)
Kyoto University
Publications: 12
|
Citations: 34
|
G-Index: 5
|
H-Index: 4
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Mathematics
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
5 co-authors
from 2003 to 2011
; Cited by
20 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(12)
BibTeX
|
RIS
|
RefWorks
Download
Type checking and typability in domain-free lambda calculi
Koji Nakazawa
,
Makoto Tatsuta
,
Yukiyoshi Kameyama
,
Hiroshi Nakano
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 44, pp. 6193-6207, 2011
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
Yuki Kato
,
Koji Nakazawa
Conference:
Workshop on Functional and Constraint Logic Programming - WFLP
, pp. 96-110, 2009
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
(
Citations: 4
)
Koji Nakazawa
,
Makoto Tatsuta
,
Yukiyoshi Kameyama
,
Hiroshi Nakano
Conference:
Computer Science Logic - CSL
, pp. 478-492, 2008
Strong normalization of classical natural deduction with disjunctions
(
Citations: 4
)
Koji Nakazawa
,
Makoto Tatsuta
Journal:
Annals of Pure and Applied Logic - APAL
, vol. 153, no. 1-3, pp. 21-37, 2008
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction
(
Citations: 4
)
Koji Nakazawa
Conference:
Typed Lambda Calculus and Applications - TLCA
, pp. 336-350, 2007
Order by:
Citations
(34 times by 25 publications)
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
(
Citations: 1
)
José Espírito Santo
,
Ralph Matthes
,
Luis Pinto
,
Simona Ronchi Della Rocca
Journal:
Logical Methods in Computer Science - LMCS
, vol. 5, no. 2, 2009
Existential Type Systems with No Types in Terms
(
Citations: 1
)
Ken-etsu Fujita
,
Aleksy Schubert
Conference:
Typed Lambda Calculus and Applications - TLCA
, pp. 112-126, 2009
Strong normalization results by translation
René David
,
Karim Nour
Journal:
Annals of Pure and Applied Logic - APAL
, vol. 161, no. 9, pp. 1171-1179, 2009
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
Yuki Kato
,
Koji Nakazawa
Conference:
Workshop on Functional and Constraint Logic Programming - WFLP
, pp. 96-110, 2009
Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus
Karim Nour
,
Khelifa Saber
Published in 2009.
Comments