Schopp - PDFSEARCH.IO - Document Search Engine

Schopp
Results: 50

#	Item
1	The Geometry of Interaction as a Module System Ulrich Schöpp June 17, 2018 Abstract The Geometry of Interaction (goi) was originally introduced by Girard in the context of Linear Logic. Many of its recent applications c Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2018-06-17 16:52:52
2	Interaction Semantics and Programming Language Compilation Ulrich Schöpp LMU Munich Introduction Add to Reading List Source URL: www2.tcs.ifi.lmu.de
3	Categories with Binding Structure Ulrich Schöpp LMU Munich Name Binding Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2007-06-15 04:29:40
4	Space-Efficient Computation by Interaction A Type System for Logarithmic Space Ulrich Schöpp LMU Munich September 27, 2006 Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2006-10-01 04:45:45
5	Call-by-Value in a Basic Logic for Interaction Ulrich Schöpp University of Munich June 16, 2014 Introduction Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2014-06-17 14:35:33
6	Modelling Generic Judgements How does r relate to N? Ulrich Schöpp LMU Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2007-06-15 04:32:51
7	Names and Binding in Type Theory Ulrich Schöpp NI VER Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2006-05-08 08:52:35
8	Pointer Programs and Undirected Reachability Martin Hofmann Ulrich Schöpp Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2009-08-12 17:39:40
9	. Functional Programming in Sublinear Space Ulrich Schöpp University of Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2010-01-11 11:08:19
10	Stratified Bounded Affine Logic for Logarithmic Space Ulrich Schöpp University of Munich Programming with Logarithmic Space Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2007-07-14 09:36:51

UPDATE