Categorical interpretation of logical de
β
A. El Khoury; S. Soloviev; L. MΓ©hats; M. Spivakovsky
π
Article
π
2010
π
Springer US
π
English
β 709 KB