Infinitary Lambda Calculi and Böhm Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries. Infinitary Lambda Calculi and Böhm Models. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Volume 914 of Lecture Notes in Computer Science, pages 257-270, Springer, 1995.

This author has not been identified. Look up 'Richard Kennaway' in GoogleThis author has not been identified. It may be one of the following persons:

Jan Willem Klop

Look up 'Jan Willem Klop' in GoogleThis author has not been identified. Look up 'M. Ronan Sleep' in GoogleThis author has not been identified. Look up 'Fer-Jan de Vries' in Google

runs on WebDSL