Web Directory

    Top: Computers: Computer_Science: Theoretical: Forums_and_Networks:

 

The Types Forum

  Link Details for: The Types Forum
Link Title: The Types Forum Open in a new window
Link URL: http://lists.seas.upenn.edu/mailman/listinfo/types-list
Link Details: E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
Category: Top : Computers : Computer_Science : Theoretical : Forums_and_Networks
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The Types Forum