Displayed Categories

Benedikt Ahrens, Peter Lefanu Lumsdaine

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)
64 Downloads (Pure)
  • 4 Citations
  • 1 Conference contribution

Search results

  • 2017

    Displayed Categories

    Ahrens, B. & Lumsdaine, P. L., 3 Sept 2017, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Schloss Dagstuhl, Vol. 84. p. 5:1–5:16 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    64 Downloads (Pure)