School of Computer Science
   
   
  
 

Paolo Capriotti

Research Fellow, Faculty of Science

Contact

Recent Publications

  • THORSTEN ALTENKIRCH, PAOLO CAPRIOTTI and NICOLAI KRAUS, 2016. Extending Homotopy Type Theory with Strict Equality In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. 21:1-21:17
  • PAOLO CAPRIOTTI, 2016. Models of Type Theory with Strict Equality
  • PAOLO CAPRIOTTI, NICOLAI KRAUS and ANDREA VEZZOSI, 2015. Functions out of Higher Truncations In: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). 359-373
  • BENEDIKT AHRENS, PAOLO CAPRIOTTI and RÉGIS SPADOTTI, 2015. Non-Wellfounded Trees in Homotopy Type Theory In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). 17-30
  • THORSTEN ALTENKIRCH, PAOLO CAPRIOTTI and NICOLAI KRAUS, 2016. Extending Homotopy Type Theory with Strict Equality In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. 21:1-21:17
  • PAOLO CAPRIOTTI, 2016. Models of Type Theory with Strict Equality
  • PAOLO CAPRIOTTI, NICOLAI KRAUS and ANDREA VEZZOSI, 2015. Functions out of Higher Truncations In: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). 359-373
  • BENEDIKT AHRENS, PAOLO CAPRIOTTI and RÉGIS SPADOTTI, 2015. Non-Wellfounded Trees in Homotopy Type Theory In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). 17-30
  • PAOLO CAPRIOTTI and AMBRUS KAPOSI, 2014. Free applicative functors In: Proceedings 5th Workshop on Mathematically Structured Functional Programming. 2-30

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire