Related papers: Lecture notes on the lambda calculus
These notes were compiled as lecture notes for a course developed and taught at the University of the Southern California. They should be accessible to a typical engineering graduate student with a strong background in Applied Mathematics.…
These are the lecture notes for quantum and statistical mechanics courses that are given by DC at Ben-Gurion University. They are complementary to "Lecture Notes in Quantum Mechanics" [arXiv: quant-ph/0605180]. Some additional topics are…
The Curry-Howard correspondence is often described as relating proofs (in intutionistic natural deduction) to programs (terms in simply-typed lambda calculus). However this narrative is hardly a perfect fit, due to the computational content…
This invited paper presents an overview of an ongoing research program aimed at extending the Curry-Howard-Lambek correspondence to quantum computation. We explore two key frameworks that provide both logical and computational foundations…
This volume contains a final and revised selection of papers presented at the Seventh Workshop on Intersection Types and Related Systems (ITRS 2014), held in Vienna (Austria) on July 18th, affiliated with TLCA 2014, Typed Lambda Calculi and…
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a…
These are lecture notes of a course taken in Leipzig 2023, spring semester. It deals with extremal combinatorics, algebraic methods and combinatorial geometry. These are not meant to be exhaustive, and do not contain many proofs that were…
In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…
These lecture notes cover undergraduate textbook topics (e.g. as in Sakurai), and also additional advanced topics at the same level of presentation. In particular: EPR and Bell; Basic postulates; The probability matrix; Measurement theory;…
These notes contain part of the lectures of an introductory course on orthogonal polynomials and special functions that I gave in the joint PhD Program in Mathematics UC|UP in the academic years 2015-2016 (at University of Porto) and…
These notes aim to provide a pedagogical introduction to Lattice QCD. The topics covered include the scope of LQCD calculations, lattice discretization of gauge and fermion (naive, Wilson, and staggered) actions, doubling problem, improved…
These third-year lecture notes are designed for a 1-semester course in topological quantum field theory (TQFT). Assumed background in mathematics and physics are only standard second-year subjects: multivariable calculus, introduction to…
This document contains the notes of a lecture I gave at the "Journ\'ees Nationales du Calcul Formel" (JNCF) on January 2017. The aim of the lecture was to discuss low-level algorithmics for p-adic numbers. It is divided into two main parts:…
This material complements David Chandler's Introduction to Modern Statistical Mechanics (Oxford University Press, 1987) in a graduate-level, one-semester course I teach in the Department of Chemistry at Duke University. Students enter this…
These notes are based on lecture courses I gave to third year mathematics students at Cambridge. They could form a basis of an elementary one--term lecture course on integrable systems covering the Arnold-Liouville theorem, inverse…
These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and…
Lecture notes delivered in Barcellona in the fall of 2003
The lecture notes contain three parts. The first part is Grover's Search Algorithm with modifications, generalizations, and applications. The second part is a discussion on the quantum fingerprinting technique. The third part is Quantum…
The lectures are a practical introduction to perturbative calculations in QED and QCD. I discuss methods of calculation of one- and two-loop diagrams in dimensional regularization, MSbar and on-shell renormalization schemes, decoupling of…
We study polymorphic type assignment systems for untyped lambda-calculi with effects, based on Moggi's monadic approach. Moving from the abstract definition of monads, we introduce a version of the call-by-value computational…