Giuseppe Primiero

History, Philosophy and Logic. Essays Dedicated to Goran Sundholm a cura di Giuseppe Primiero a cura di Shahid Rahman

A Constructive Type-theoretical Approach This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analytic

A Constructive Type-theoretical Approach This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analytic

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. ...

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. ...