Displayed Categories

Benedikt Ahrens, Peter LeFanu Lumsdaine

Computer Science

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

3 Citations (Scopus)

67 Downloads (Pure)

3 Citations
1 Article

1 results

Displayed Categories
Ahrens, B. & Lumsdaine, P. L., 5 Mar 2019, In: Logical Methods in Computer Science. 15, 1, 18 p., 20.
Research output: Contribution to journal › Article › peer-review

Open Access
File
4 Citations (Scopus)

66 Downloads (Pure)