Related papers: Lecture notes on the lambda calculus
These are lecture notes based on the first part of a course on 'Mathematical Data Science', which I taught to final year BSc students in the UK in 2019-2020. Topics include: concentration of measure in high dimensions; Gaussian random…
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, $\lambda_\rho$, follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide…
This is an extended and corrected version of lecture notes originally written for a one semester course at Leibniz University Hannover. The main aim of the notes is to give an introduction to the mathematical methods used in describing…
These are lecture notes for a mini-course given at the St. Petersburg School in Probability and Statistical Physics in June 2012. Topics include integrable models of random growth, determinantal point processes, Schur processes and Markov…
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…
We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…
We study the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two well-developed quantitative approaches to program semantics: on the one hand program…
These lecture notes are intended to cover some introductory topics in stochastic simulation for scientific computing courses offered by the IT department at Uppsala University, as taught by the author. Basic concepts in probability theory…
This is an introductory set of lecture notes on quantum cosmology, given in 1995 to an audience with interests ranging from astronomy to particle physics. Topics covered: 1. Introduction: 1.1 Quantum cosmology and quantum gravity; 1.2 A…
These notes are from a 4-lecture mini-course taught by the author at the conference on von Neumann algebras as part of the ``Geometrie non commutative en mathematiques et physique'' month at CIRM in 2004.
These are lecture notes from Clay Summer School in Goettingen, in 2006; the lectures were an attempt at an elementary introduction to math.KT/0611623.
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta or the least sensible lambda-theory H (generated by equating…
We study the semantics of an untyped lambda-calculus equipped with operators representing read and write operations from and to a global store. We adopt the monadic approach to model side-effects and treat read and write as algebraic…
This note is about encoding Turing machines into the lambda-calculus.
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
I developed the lecture notes based on my ``Causal Inference'' course at the University of California Berkeley over the past seven years. Since half of the students were undergraduates, my lecture notes only required basic knowledge of…
This contribution presents a selection of the topics (parton densities, fixed-order calculations, parton showers, soft-gluon resummation) discussed in my introductory lectures at the Workshop and includes a pedagogical overview of the…
This is an exposition of some recent developments related to the object in the title, particularly the combinatorial computation of the (genus 0) Gromov-Witten invariants of the flag manifold and the quadratic algebra approach. The notes…
Let $\Lambda$ be the collection of all probability distributions for $(X,\widetilde{X})$, where $X$ is a fixed random vector and $\widetilde{X}$ ranges over all possible knockoff copies of $X$ (in the sense of \cite{CFJL18}). Three topics…
This is a short review of the algebraic properties of Clifford algebras and spinors. Their use in the description of fundamental physics (elementary particles) is also summarized. Lecture given at the ICCA7 conference, Toulouse (23/05/2005)