AtomSeek the directory or science  

Math: Logic and Foundations: People: Page 4


the entire directory   only this category Advanced Search
 
Home: Math: Logic and Foundations: People: Page 4
CATEGORIES:
LINKS:
  Pages: [<<] 1 2 3 4 5 6 [>>]
  • Stewart, Charles
    http://www.linearity.org/cas/
    Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.

  Pages: [<<] 1 2 3 4 5 6 [>>]
 
  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


© atomseek.com
Webmaster - miroweb.com