Cover von Simulating Large Eliminations in Cedille opens in new tab

Simulating Large Eliminations in Cedille

Year: 2022
Media group: LIPIcs

Details

Search for this author
Year: 2022
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1-22
Participating parties: Search for this character Jenkins, Christa; Marmaduke, Andrew; Stump, Aaron
Media group: LIPIcs