A type-theoretic approach to resolution

Peng Fu (Lead / Corresponding author), Ekaterina Komendantskaya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
Filter
Finished

Search results