Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 27 results:

] Title Type Year

Filters: Author is Primiero, Giuseppe [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

P

Primiero, Giuseppe. 2009. “Proceeding In Abstraction: From Concepts To Types And The Recent Perspective On Information”. History and Philosophy of Logic 30: 257–282. http://dx.doi.org/10.1080/01445340902872630.

Primiero, Giuseppe, and Mariarosaria Taddeo. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.

Pages