Ilya Beylin

Publication Activity (10 Years)

Years Active: 1993-1996
Publications (10 Years): 0

Publications

Sten Agerholm, Ilya Beylin, Peter Dybjer
A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem. TPHOLs (1996)
Ilya Beylin, Peter Dybjer
Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids. TYPES (1995)
Zinovy Diskin, Ilya Beylin
Lambda Substitution Algebras. MFCS (1993)