Makoto Takeyama

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 simple type-theoretic language: Mini-TT	2010-02-05	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
scientific article; zbMATH DE number 2182489 (Why is no real title available?)	2005-06-23	Paper
scientific article; zbMATH DE number 2085166 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2061705 (Why is no real title available?)	2004-03-22	Paper
Syntactic control of interference revisited Theoretical Computer Science	2000-08-23	Paper
Bireflectivity Theoretical Computer Science	2000-08-23	Paper
Sketches Journal of Pure and Applied Algebra	2000-02-15	Paper
scientific article; zbMATH DE number 1231576 (Why is no real title available?)	1998-12-20	Paper
scientific article; zbMATH DE number 1231472 (Why is no real title available?)	1998-12-13	Paper
scientific article; zbMATH DE number 1231457 (Why is no real title available?)	1998-12-10	Paper
scientific article; zbMATH DE number 1088040 (Why is no real title available?)	1998-03-15	Paper

Research outcomes over time

This page was built for person: Makoto Takeyama