The information on this page is available in these languages

• Italiano - it: Giulio Fellin "A terminating intuitionistic calculus"

You may be interested in other contents of Events