Makoto Takeyama

	2005
13		Thierry Coquand, Randy Pollack, Makoto Takeyama: A Logical Framework with Dependently Typed Records. Fundam. Inform. 65(1-2): 113-134 (2005)
	2004
12		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Random Generators for Dependent Types. ICTAC 2004: 341-355
11		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Information & Software Technology 46(15): 1011-1025 (2004)
	2003
10		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell Programs by Combining Testing and Proving. QSIC 2003: 272-279
9		Thierry Coquand, Randy Pollack, Makoto Takeyama: A Logical Framework with Dependently Typed Records. TLCA 2003: 105-119
8		Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Combining Testing and Proving in Dependent Type Theory. TPHOLs 2003: 188-203
	2000
7		Thierry Coquand, Makoto Takeyama: An Implementation of Type: Type. TYPES 2000: 53-62
	1999
6		Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent: Syntactic Control of Interference Revisited. Theor. Comput. Sci. 228(1-2): 211-252 (1999)
5		Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflectivity. Theor. Comput. Sci. 228(1-2): 49-76 (1999)
	1997
4		Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent: An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. TACS 1997: 191-212
3		Yoshiki Kinoshita, John Power, Makoto Takeyama: Sketches. Electr. Notes Theor. Comput. Sci. 6: (1997)
	1995
2		Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Bireflectivity. Electr. Notes Theor. Comput. Sci. 1: (1995)
1		Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Syntactic control of interference revisited. Electr. Notes Theor. Comput. Sci. 1: (1995)

Coauthor Index

1	Thierry Coquand	[7] [9] [13]
2	Peter Dybjer	[8] [10] [11] [12]
3	Peter J. Freyd	[2] [5]
4	Qiao Haiyan	[8] [10] [11] [12]
5	Yoshiki Kinoshita	[3] [4]
6	Peter W. O'Hearn	[1] [2] [4] [5] [6]
7	Randy Pollack	[9] [13]
8	John Power (A. John Power)	[1] [2] [3] [4] [5] [6]
9	R. Street	[5]
10	Robert D. Tennent	[1] [2] [4] [5] [6]

Colors in the list of coauthors