Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Arnaud Spiwack
Follow
Activity
Upvotes
Folders
Articles
11
Union and intersection contracts are hard, actually
31 March 2022 by
Teodoro Freund
and
others
Programming Languages
Linear Constraints
16 September 2021 by
Arnaud Spiwack
and
others
Programming Languages
Evaluating Linear Functions to Symmetric Monoidal Categories
22 July 2021 by
Jean-Philippe Bernardy
and
Arnaud Spiwack
Programming Languages
Circuits via topoi
18 July 2018 by
Arnaud Spiwack
Logic in Computer Science
Linear Haskell: practical linearity in a higher-order polymorphic language
8 November 2017 by
Jean-Philippe Bernardy
and
others
Programming Languages
The tree machine
16 July 2015 by
Arnaud Spiwack
Logic in Computer Science
Notes on axiomatising Hurkens's Paradox
16 July 2015 by
Arnaud Spiwack
Logic in Computer Science
The Rooster and the Syntactic Bracket
13 June 2014 by
Hugo Herbelin
and
Arnaud Spiwack
Logic in Computer Science
Balancing lists: a proof pearl
13 June 2014 by
Guyslain Naves
and
Arnaud Spiwack
Data Structures and Algorithms
,
Logic in Computer Science
Abstract interpretation as anti-refinement
13 June 2014 by
Arnaud Spiwack
Programming Languages
A proof of strong normalisation using domain theory
4 December 2007 by
Thierry Coquand
and
Arnaud Spiwack
Logic in Computer Science
,
Programming Languages
This is an AI-generated summary
Key points
Topics
Programming Languages
Logic in Computer Science
Data Structures and Algorithms
