Skip to main content
Home
Commission for the History and Philosophy of Computing

Main menu

  • Home
  • HaPoC Commission
  • Become a Member
  • Events & News
  • Publications
  • Blog

You are here

Home

User login

  • Create new account
  • Request new password

News

16th CLMPST
Call for Papers: Computing and programming in context
Call for applications - PhD in the history and/or philosophy of programming
CiE 2018: Call for informal presentations
CfP: Opening the black box and finding it – dark …

HaPoC Events

Workshop on Philosophy and Technologies for Simulation
Hardwired at Heart: The Everyday and Extraordinary in 20th Century Czechoslovak Computing
HaPoP4 Programme

Pages

  • …
  • …
  • next ›
  • last »

Recent Publications

  • The logic of identity and copy for computational artefacts
  • The First Information Explosion. The Role of Punch Card Technology in the Office Rationalization in Germany, 1910-1939
  • Would Turing Have Won the Turing Award?
  • AI and the Origins of the Functional Programming Language Style
More...

Continuity in Semantic Theories of Programming

Submitted by admin on Thu, 07/02/2015 - 09:31
TitleContinuity in Semantic Theories of Programming
Publication TypeJournal Article
Year of Publication2015
AuthorsCardone, F
JournalHistory and Philosophy of Logic
Pagination1-20
URLhttp://dx.doi.org/10.1080/01445340.2015.1054576
DOI10.1080/01445340.2015.1054576
  • Log in or register to post comments
  • Google Scholar
  • DOI