Sam Lindley (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Sam Lindley, Ian Stark: Reducibility and TT-Lifting for Computation Types. TLCA 2005: 262-277

Selection of 1 from 7 records - Sam Lindley has 7 coauthors