Jacob Holm was flipping through proofs from an October 2019 research paper he and colleague Eva Rotenberg—an associate professor in the department of applied mathematics and computer science at the ...
Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback