  |
Items where Author is "Luksa, Norbert"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemKaposi, Ambrus and Luksa, Norbert (2020) A calculus of single substitutions for simple type theory. In: 13th Joint Conference on Mathematics and Informatics, October 1-3, 2020. |
