Stuart Allen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Preface. Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006)

1987

1 Stuart Allen: A Non-Type-Theoretic Definition of Martin-Löf's Types LICS 1987: 215-221

	2006
2		Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Preface. Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006)
	1987
1		Stuart Allen: A Non-Type-Theoretic Definition of Martin-Löf's Types LICS 1987: 215-221

Coauthor Index