PhD DATABASE

Title:  
A evolution of type theory in logic and mathematics
Abstract:  
URL:  
Area of Science:  
Artificial intelligence
PhD Student:  
Twan Laan
E-mail:  
Scientific Adviser:  
J.C.M.Baeten
E-mail:  
University:  
Eindhoven University of Technology
City:  
Eindhoven
Country:  
The Netherlands
  Back to search results
 
This web site has been produced with the support of the European Commission under the Lifelong Learning Programme: 114046-CP-1-2004-1-BG-ERASMUS-TN.
It reflects the views only of the authors, and the commission cannot be held responsible for any use which may be made of the information contained therein.