Ilya Beylin

	1996
3		Sten Agerholm, Ilya Beylin, Peter Dybjer: A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem. TPHOLs 1996: 17-32
	1995
2		Ilya Beylin, Peter Dybjer: Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids. TYPES 1995: 47-61
	1993
1		Zinovy Diskin, Ilya Beylin: Lambda Substitution Algebras. MFCS 1993: 423-432

Coauthor Index

1	Sten Agerholm	[3]
2	Zinovy Diskin	[1]
3	Peter Dybjer	[2] [3]

Colors in the list of coauthors