Giovanni Sommaruga

发表

History and philosophy of constructive type theory

Giovanni Sommaruga, 2000, Synthese library.

A note on some extension results

Franco Montagna, Giovanni Sommaruga, 1990, Stud Logica.

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information [Muenchenwiler Seminar (Switzerland), May 2009]

Giovanni Sommaruga, 2009, Formal Theories of Information.

Turing's Revolution: The Impact of His Ideas about Computability

Thomas Strahm, Giovanni Sommaruga, T. Strahm, 2016 .

The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?

Giovanni Sommaruga, B. Jack Copeland, 2015 .

Rosser and mostowski sentences

Franco Montagna, Giovanni Sommaruga, F. Montagna, 1988, Arch. Math. Log..

One or Many Concepts of Information?

Giovanni Sommaruga, 2009, Formal Theories of Information.

Correction to: The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?

B. Jack Copeland, Giovanni Sommaruga, 2021 .

Foundational theories of classical and constructive mathematics

Giovanni Sommaruga, 2011 .