Open AccessProof nets for the Displacement calculus
Author(s) -
Moot, Richard
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - calculus (dental) , correctness , structural proof theory , natural deduction , time scale calculus , process calculus , mathematics , displacement (psychology) , proof calculus , computer science , proof theory , algorithm , multivariable calculus , discrete mathematics , mathematical proof , theoretical computer science , geometry , medicine , psychology , dentistry , control engineering , engineering , psychotherapist