Ryu Hasegawa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A logical aspect of parametric polymorphism	2024-06-21	Paper
Parametricity of extensionally collapsed term models of polymorphism and their categorical properties Lecture Notes in Computer Science	2022-08-16	Paper
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic	2021-05-02	Paper
Complete call-by-value calculi of control operators. II: Strong termination (available as arXiv preprint)	2021-03-26	Paper
Complete call-by-value calculi of control operators. II: Strong termination	2021-03-26	Paper
A categorical reduction system for linear logic	2020-12-03	Paper
A categorical reduction system for linear logic (available as arXiv preprint)	2020-12-03	Paper
Inhabitation of polymorphic and existential types Annals of Pure and Applied Logic	2011-08-26	Paper
scientific article; zbMATH DE number 1788924 (Why is no real title available?)	2002-08-26	Paper
Two applications of analytic functors Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1498547 (Why is no real title available?)	2001-03-04	Paper
scientific article; zbMATH DE number 1511941 (Why is no real title available?)	2000-09-27	Paper
scientific article; zbMATH DE number 1222102 (Why is no real title available?)	1999-03-02	Paper
scientific article; zbMATH DE number 1104447 (Why is no real title available?)	1998-01-14	Paper
Relational limits in general polymorphism Publications of the Research Institute for Mathematical Sciences, Kyoto University	1995-04-10	Paper
Categorical data types in parametric polymorphism Mathematical Structures in Computer Science	1994-03-27	Paper

Research outcomes over time

This page was built for person: Ryu Hasegawa