Search:
Foundations Group
of the
ICIS
People
Seminars
Past Seminars and Special Events
Research
Publications
Lambda calculus and Type Theory
Formalizing Mathematics
Mind-Brain-Mindfulness
Education
Teachers and their lectures
Projects for students
News
Research
Publications
Lambda calculus and Type Theory
Formalizing Mathematics
Mind-Brain-Mindfulness
Login
Research
/
Publications
Publications of the Foundations Group
Publications
Research/Publications (last edited 08-10-2007 10:18:38 by
DanSynek
)
