Ilya Beylin

According to our database, Ilya Beylin authored at least 3 papers between 1993 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem.

Sten Agerholm, Ilya Beylin, Peter Dybjer

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids.

Ilya Beylin, Peter Dybjer

Proceedings of the Types for Proofs and Programs, 1995

1993

Lambda Substitution Algebras.

Zinovy Diskin, Ilya Beylin

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993