( en | de | ru )

 

Disambiguation of "Kobayashi, Naoki"

Author of the publication

copydeleteadd this publication to your clipboard
Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence.

, , , and . FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 53-68. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Naoki Yoshida

Naoki Ueda

Naoki Tamura

Naoki Fukuzawa

Naoki Saito

 

Other publications of authors with the same name

A Narrow-Area Specific Messaging System for Tsunami Evacuation., and . GCCE, page 1032-1033. IEEE, (2019)Challenging EMC problems on two-dimensional communication systems., , and . INSS, page 130-137. IEEE, (2010)Classification of Elastic and Collagen Fibers in H&E Stained Hyperspectral Images., , , , , , , and . EMBC, page 7031-7035. IEEE, (2019)Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars., and . FSCD, volume 167 of LIPIcs, page 22:1-22:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols., , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 75-89. Springer, (2011)Time-frequency structure of image motion vectors around cybersickness intervals determined with biosignals., , , and . Displays, 29 (2): 176-183 (2008)HFL(Z) Validity Checking for Automated Program Verification., , , and . Proc. ACM Program. Lang., 7 (POPL): 154-184 (January 2023)Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives., , and . LOPSTR, volume 3901 of Lecture Notes in Computer Science, page 98-114. Springer, (2005)An Intersection Type System for Deterministic Pushdown Automata., and . IFIP TCS, volume 7604 of Lecture Notes in Computer Science, page 357-371. Springer, (2012)Quasi-Linear Types.. POPL, page 29-42. ACM, (1999)