Skip to content
MENU
RISC
Research Institute for Symbolic Computation
Home
Research
Research Topics
Projects
Publications
Software
Education
Study at RISC
Courses
Theses
Applications
News
News
Press
Events
Talks
Conferences
People
Members
Visitors
Former Members
Jobs
About Us
About RISC
How to find us
The Castle of Hagenberg
RISC Extension
About the RISC Logo
Partners
Internals
Prof. Masahiko Sato
Visit Date: 26/09/2019 - 06/10/2019
Talks
03/10/2019
16:00 - 17:00
Unification of Lambda Calculus and Combinatory Logic
Masahiko Sato
Wir verwenden Cookies auf unserer Website. Durch Klicken auf OK oder Scrollen stimmen Sie der Verwendung von Cookies zu. Weitere Informationen finden Sie im
Impressum
Ok
