( en | de | ru )

 

Disambiguation of "Takahashi, Yuta"

Author of the publication

copydeleteadd this publication to your clipboard
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems.

, and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 136-155. Springer, (2020)

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.

Teruaki Takahashi

Yuta Toriyama

Akeshi Takahashi

Kotaro Takahashi

Yumiko Takahashi

 

Other publications of authors with the same name

Estimating User Satisfaction Impact in Cities Using Physical Reaction Sensing and Multimodal Dialogue System., , , , , and . IWSDS, volume 579 of Lecture Notes in Electrical Engineering, page 177-183. Springer, (2018)EmoTour: Multimodal Emotion Recognition using Physiological and Audio-Visual Features., , , , , and . UbiComp/ISWC Adjunct, page 946-951. ACM, (2018)Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus.. TYPES, volume 239 of LIPIcs, page 12:1-12:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Low driving voltage (< 400mVpp) electro-absorption modulator laterally integrated with VCSEL., , and . OFC, page 1-3. IEEE, (2014)Investigating User Reactions to Interactive-signage-based Stimulation Toward Behavior Change., , , , and . ICMU, page 1-6. IEEE, (2018)A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems., and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 136-155. Springer, (2020)Comparison of two classification methods for Musical Instrument identification., and . GCCE, page 67-68. IEEE, (2014)Development of an IoT-Based Prosthetic Control System., , , , and . J. Robotics Mechatronics, 29 (6): 1049-1056 (2017)Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms., and . J. Philosophical Logic, 48 (3): 553-570 (2019)5G Downlink Throughput Performance of 28 GHz Band Experimental Trial at 300 km/h., , , , and . PIMRC, page 1140-1141. IEEE, (2018)