På svenska
Log in
Simplicial set
Constructivity
Kripke model
University of Bergen
University of Gothenburg
0304-3975 (ISSN)
Computer and Information Science
10.1016/j.tcs.2015.01.035