Next: University of Edinburgh Up: CWI Previous: Research Directions
Next: University of Edinburgh
Up: CWI
Previous: Research Directions
- I. Bethke and J.W. Klop have attended the Confer workshop in Bologna from March 24-26, 1997. J.W. Klop gave a talk: Infinitary lambda calculus and Berry's sequentiality theorem.
- I. Bethke and J.W. Klop attended the second Confer workshop in Amsterdam, from October 20-22, 1997. I. Bethke gave a talk: Sequentiality in lambda calculus.