Monthly Archives: June 2019

Sequent Calculus as a Compiler Intermediate Language

The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born a [...]

Four-dimensional physics in two dimensions

For the first time, physicists have built a two-dimensional experimental system that allows them to study the physical properties of materia [...]
Aasemoon © 1992 - 2022
-->