Open AccessProofs nets and the categorial flow of information
Author(s) -
Michael Moortgat,
Richard Moot
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - mathematical proof , computer science , information flow , calculus (dental) , mathematics , linguistics , philosophy , geometry , medicine , dentistry