AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Alex Simpson

Alex Simpson

University of Ljubljana - Ljubljana / Slovenia
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147449
Univerza v Ljubljani
person_outline Alex Simpson's MOST POPULAR ARTICLES
1-) The proof theory and semantics of intuitionistic modal logic University of Edinburgh. College of Science and Engineering. School of …, 1994
2-) Sequent calculi for induction and infinite descent Journal of Logic and Computation 21 (6), 1177-1216, 2011
3-) Complete axioms for categorical fixed-point operators Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
4-) Comparing Cartesian closed categories of (core) compactly generated spaces Topology and its Applications 143 (1-3), 105-145, 2004
5-) Cyclic arithmetic is equivalent to peano arithmetic International Conference on Foundations of Software Science and Computation …, 2017