• Publications
  • Influence
Treatise on Intuitionistic Type Theory
  • J. Granström
  • Mathematics, Computer Science
  • Logic, Epistemology, and the Unity of Science
  • 9 June 2011
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serveExpand
  • 44
  • 4
Reference and Computation in Intuitionistic Type Theory
Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and ...
  • 9
  • 1
A New Paradigm for Component-based Development
TLDR
Hancock and Setzer describe how Haskell’s monolithic IO monad can be decomposed into worlds when working in a dependently typed language, like Martin-Lof's type theory. Expand
  • 4
IBN SĪNĀ’S APPROACH TO EQUALITY AND UNITY
Aristotle did not develop the quantification of the predicate, but, as shown in a recent paper by Hasnawi, Ibn Sīnā did. In fact, assuming the Aristotelian subject-predicate structure, Ibn SīnāExpand
  • 5
  • PDF
Are There Enough Injective Sets?
TLDR
We show that no two element set is injective unless the law of excluded middle is admitted for negated formulas, and that the axiom of power set is required for proving that “there are strongly enough injective sets”. Expand
  • 6
  • PDF
Truth and Knowledge
The threefold correspondence between things , thoughts , and words , discussed in the previous chapter, will now be investigated in further detail, with particular emphasis on mathematical entities;Expand
  • 24
Modularization of Saab EDS ground products
Indexing User Uploaded Videos For Late Arriving Reference Content
Disclosed herein is a mechanism for indexing user uploaded videos. This mechanism can be used, for example, to detect unauthorized media content items in instances where the reference content isExpand
Reference and Computation
In the early history of computation, one finds algorithms like the Babylonian algorithm for the approximation of square roots, Archimedes’ algorithm for the approximation of π, Euclid’s algorithm forExpand
  • 1
...
1
2
...