Open AccessOn Isomorphism of Dependent Products in a Typed Logical Framework
Author(s) -
Sergei Soloviev
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - isomorphism (crystallography) , mathematical proof , product (mathematics) , constant (computer programming) , computer science , class (philosophy) , type (biology) , algebra over a field , mathematics , theoretical computer science , programming language , pure mathematics , artificial intelligence , chemistry , crystal structure , crystallography , ecology , geometry , biology