• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 37 matches

• 2024
• 
  Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma:
  Responsible composition and optimization of integration processes under correctness preserving guarantees. Inf. Syst. 124: 102400 (2024)
• 2023
• 
  Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
  Type-theoretic approaches to ordinals. Theor. Comput. Sci. 957: 113843 (2023)
• 
  Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters:
  A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. APLAS 2023: 135-154
• 
  Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
  Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS 2023: 1-13
• 
  Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
  Set-Theoretic and Type-Theoretic Ordinals Coincide. CoRR abs/2301.10696 (2023)
• 
  Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma:
  Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees. CoRR abs/2305.19196 (2023)
• 2022
• 
  Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
  Type-Theoretic Approaches to Ordinals. CoRR abs/2208.03844 (2022)
• 2021
• 
  Georgi Nakov, Fredrik Nordvall Forsberg:
  Quantitative Polynomial Functors (Early Ideas). CALCO 2021: 22:1-22:5
• 
  Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
  Connecting Constructive Notions of Ordinals in Homotopy Type Theory. MFCS 2021: 70:1-70:16
• 
  Georgi Nakov, Fredrik Nordvall Forsberg:
  Quantitative Polynomial Functors. TYPES 2021: 10:1-10:22
• 
  Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg:
  Translating Extensive Form Games to Open Games with Agency. ACT 2021: 221-234
• 
  Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
  Connecting Constructive Notions of Ordinals in Homotopy Type Theory. CoRR abs/2104.02549 (2021)
• 2020
• 
  Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani:
  Three equivalent ordinal notation systems in cubical Agda. CPP 2020: 172-185
• 
  Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg:
  Compositional Game Theory, Compositionally. ACT 2020: 198-214
• 2019
• 
  Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo:
  Universal properties for universal types in bifibrational parametricity. Math. Struct. Comput. Sci. 29(6): 810-827 (2019)
• 
  Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
  Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. ACT 2019: 95-105
• 
  Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma, Norman May:
  Catalog of Optimization Strategies and Realizations for Composed Integration Patterns. CoRR abs/1901.01005 (2019)
• 2018
• 
  Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
  A compositional treatment of iterated open games. Theor. Comput. Sci. 741: 48-57 (2018)
• 
  Daniel Ritter, Norman May, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma:
  Optimization Strategies for Integration Pattern Compositions. DEBS 2018: 88-99
• 
  Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg:
  Quotient Inductive-Inductive Types. FoSSaCS 2018: 293-310
• 
  Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi:
  23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary. LIPIcs 104, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-071-2 [contents]
• 2017
• 
  Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn:
  Variations on Inductive-Recursive Definitions. MFCS 2017: 63:1-63:13
• 
  Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
  A Compositional Treatment of Iterated Open Games. CoRR abs/1711.07968 (2017)
• 2016
• 
  Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo:
  Proof-Relevant Parametricity. A List of Successes That Can Change the World 2016: 109-131
• 
  Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson:
  Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. FoSSaCS 2016: 3-19
• 
  Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg:
  Quotient inductive-inductive types. CoRR abs/1612.02346 (2016)
• 2015
• 
  Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger:
  Extracting verified decision procedures: DPLL and Resolution. Log. Methods Comput. Sci. 11(1) (2015)
• 
  Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg:
  Positive Inductive-Recursive Definitions. Log. Methods Comput. Sci. 11(1) (2015)
• 
  Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton:
  Models for Polymorphism over Physical Dimension. TLCA 2015: 45-59
• 
  Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo:
  Parametric Polymorphism - Universally. WoLLIC 2015: 81-92

skipping 7 more matches