Related papers: Lecture notes on the lambda calculus
These are lecture notes that are based on the lectures from a class I taught on the topic of Spectral Graph Methods at UC Berkeley during the Spring 2015 semester.
These are notes from a three-lecture mini-course on free probability given at MSRI in the Fall of 2010 and repeated a year later at Harvard. The lectures were aimed at mathematicians and mathematical physicists working in combinatorics,…
Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in particular, about their asymptotic distribution and random generation.…
This is a set of 288 questions written for a Moore-style course in Mathematical Logic. I have used these (or some variation) four times in a beginning graduate course. Topics covered are: propositional logic axioms of ZFC wellorderings and…
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent…
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent…
You may have seen the words "topological recursion" mentioned in papers on matrix models, Hurwitz theory, Gromov-Witten theory, topological string theory, knot theory, topological field theory, JT gravity, cohomological field theory, free…
The lambda calculus is a widely accepted computational model of higher-order functional pro- grams, yet there is not any direct and universally accepted cost model for it. As a consequence, the computational difficulty of reducing lambda…
This article consists of six lectures on the categorification of the Burau representation and on link homology groups which categorify the Jones and the HOMFLY-PT polynomial. The notes are based on the lecture course at the PCMI 2006 summer…
We introduce the structural resource lambda-calculus, a new formalism in which strongly normalizing terms of the lambda-calculus can naturally be represented, and at the same time any type derivation can be internally rewritten to its…
These lecture notes are an expanded write-up of my short lecture series "Noncommutative Resolutions" given to the MSRI Graduate Student Workshop "Noncommutative Algebraic Geometry" during June 2012. The notes include five chapters, an…
These are lecture notes of the QFT-I course I gave in an online mode at Chennai Mathematical Institute. The course focussed on the free relativistic quantum fields, their interactions in the perturbative scattering framework, standard…
The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features from the Automath-related lambda calculi and some from the…
This in an introduction to the theory of non-commutative distributions of non-commuting operators or random matrices. Starting from the basic problem to find a good approach to the meaning of "non-commutative distribution" we will, in…
This paper establishes the normalisation of natural deduction or lambda calculus formulation of Intuitionistic Non Commutative Logic --- which involves both commutative and non commutative connectives. This calculus first introduced by de…
This chapter is based on a series of lectures that I gave at the National University of Singapore in April 2013. The notes survey the representation theory of the cyclotomic Hecke algebras of type A with an emphasis on understanding the KLR…
This is an introduction to the basic ideas and to a few further selected topics in conformal quantum field theory and in the theory of Kac-Moody algebras.
These lecture notes have been converted to a book titled Network Information Theory published recently by Cambridge University Press. This book provides a significantly expanded exposition of the material in the lecture notes as well as…
These lecture notes introduce conifold transitions between complex threefolds with trivial canonical bundle from the differential geometric point of view, and with a particular view towards aspects of mathematical physics and string theory.…
These lecture notes are based on a set of six lectures that I gave in Edinburgh in 2008/2009 and they cover some topics in the interface between Geometry and Physics. They involve some unsolved problems and conjectures and I hope they may…