Aram Hăvărneanu

@aramh

Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

Joined May 2009

1,629 Following

5,264 Followers

Replies Reposts Media

Pinned
Aram Hăvărneanu
@aramh
Oct 20, 2021
Understanding means understanding the duality between the concrete and the abstract.
5
Aram Hăvărneanu
@aramh
9h
Andrej Bauer and James E. Hanson. 2026. The Countable Reals. arxiv.org/abs/2404.01256 We construct a topos in which the Dedekind reals are countable. The topos arises from a new kind of realizability, which we call parameterized realizability, based on partial combinatory
arxiv.org
The Countable Reals
We construct a topos in which the Dedekind reals are countable. The topos arises from a new kind of realizability, which we call parameterized realizability, based on partial combinatory...
5
Aram Hăvărneanu
@aramh
Oct 3
Quentin Heath and Dale Miller. 2019. A Proof Theory for Model Checking. J. Autom. Reason. 63, 4 (Dec 2019), 857–885. DOI:10.1007/s10817-018-9475-3 While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory
arxiv.org
A Proof Theory for Model Checking: An Extended Abstract
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing...
1
Aram Hăvărneanu
@aramh
Oct 3
Chuck C. Liang. 2007. Aspect-Oriented programming in higher-order and linear logic. In Proceedings of the 9th international conference on Practical Aspects of Declarative Languages (PADL'07). Springer-Verlag, Berlin, Heidelberg, 305–319. doi.org/10.1007/978-3-… Essential
link.springer.com
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause Prolog provide richer abstraction and control mechanisms. Definite clauses...
Aram Hăvărneanu
@aramh
Oct 3
Chuck Liang. On the unification of classical, intuitionistic and affine logics. Mathematical Structures in Computer Science. 2019;29(8):1177-1216. doi:10.1017/S0960129518000403 This article presents a unified logic that combines classical logic, intuitionistic logic and affine
cambridge.org
On the unification of classical, intuitionistic and affine logics | Mathematical Structures in...
On the unification of classical, intuitionistic and affine logics - Volume 29 Issue 8
1