Items where Author is "Luksa, Norbert"

Group by: Item Type | No Grouping

Number of items: 1.

Kaposi, 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.

This list was generated on Sat Apr 5 11:27:34 2025 CEST.

Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.