Stephan A. Missura

	1994
3		Stephan A. Missura, Andreas Weber: Using Commutativity Properties for Controlling Coercions. AISMC 1994: 131-143
2		Stephan A. Missura: Theories = Signatures + Propositions Used as Types. AISMC 1994: 144-155
	1993
1		Stephan A. Missura: Extending AlgBench with a Type System. DISCO 1993: 359-363

Coauthor Index

1

Andreas Weber

[3]