Home Advanced Search

Advanced Search - Page 1

Reflections on Programming Systems: Historical and Philosophical Aspects
  • PDF
  • English
  • Year: 2018
  • Author: Liesbeth De Mol, Giuseppe Primiero
Information and knowledge: A constructive type-theoretical approach
  • PDF
  • English
  • Year: 2008
  • Author: Primiero, Giuseppe
Information and Knowledge: A Constructive Type-theoretical Approach
  • PDF
  • English
  • Year: 2008
  • Author: Giuseppe Primiero (auth.)
Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
  • PDF
  • english
  • Year: 2009
  • Author: Maarten de Mol
The Realism-Antirealism Debate in the Age of Alternative Logics
  • PDF
  • English
  • Year: 2012
  • Author: Shahid Rahman, Giuseppe Primiero, Mathieu Marion (eds.)
The Realism-Antirealism Debate in the Age of Alternative Logics
  • PDF
  • English
  • Year: 2012
  • Author: Shahid Rahman, Giuseppe Primiero, Mathieu Marion (eds.)
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
Global Children, Global Media
  • PDF
  • English
  • Year: 2007
  • Author: Liesbeth de Block, David Buckingham
Global Children, Global Media: Migration, Media and Childhood
  • PDF
  • English
  • Year: 2007
  • Author: Liesbeth de Block, David Buckingham (auth.)
Global Children, Global Media: Migration, Media and Childhood
  • PDF
  • English
  • Year: 2007
  • Author: Liesbeth de Block, David Buckingham (auth.)
search