Original Title:
Church-Rosser theorem for conjunctive type systems
Languages of Item:
English
Creator:
Koletsos, George
Stavrinos, George
Main subject category:
Logic
Other subject categories:
Mathematics
Keywords:
Church-Rosser theorem, conjunctive type systems
Notes:
Περιλαμβάνει βιβλιογραφικές αναφορες
