  |
Items where Author is "von Raumer, Jakob"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemKaposi, Ambrus and von Raumer, Jakob (2020) A Syntax for Mutual Inductive Families. In: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). |
