Wiedijk, Freek.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
The Seventeen Provers of the WorldForeword by Dana S. Scott /
by:
SpringerLink (Online service); Wiedijk, Freek.
(Electronic resources)
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
Capretta, Venanzio.; Geuvers, Herman, (1964-); Krebbers, Robbert.; SpringerLink (Online service); Wiedijk, Freek.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Applications of Mathematics.
Mathematics of Computing.
Algebra
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Type theory.
Computer Science Logic and Foundations of Programming.
Lambda calculus.
Proof theory
Computer Science.