311 citations · 1.2k across the 38 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008★ 23 cited
Lecture notes on the lambda calculus
Peter Selinger
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013.…
cs.LO2008★ 2 cited
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
Peter Selinger, Benoît Valiron
We give a categorical semantics for a call-by-value linear lambda calculus. Such a lambda calculus was used by Selinger and Valiron as the backbone of a functional programming lang…