Thorsten Altenkirch

1999–2010

A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Thorsten Altenkirch trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. John Hughes
  2. Benedikt Ahrens
  3. Marcelo P. Fiore
  4. Richard S. Bird
  5. Peter Selinger
  6. Korn'el Szlach'anyi
  7. Ulf Norell
  8. C. Berger
  9. Stephen Lack
  10. Samson Abramsky

Who trusts Thorsten Altenkirch overall

  1. Ralph Matthes
  2. Andreas Abel
  3. André Hirschowitz
  4. Tarmo Uustalu
  5. Benedikt Ahrens
  6. James Chapman
  7. Marco Maggesi

Papers from Thorsten Altenkirch's perspective

Ordered by how strongly the researchers Thorsten Altenkirch trusts endorse each paper. Same corpus, a different order for every researcher.

  1. de Bruijn notation as a nested datatype
  2. Generalising monads to arrows (Science of Computer Programming)
  3. Abstract syntax and variable binding
  4. A categorical semantics of quantum protocols (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.)
  5. Substitution: A Formal Methods Case Study Using Monads and Transformations
  6. Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
  7. Skew monoidales, skew warpings and quantum categories (Theory and Applications of Categories)
  8. Skew-monoidal categories and bialgebroids
  9. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) (QPL)
  10. Initiality for Typed Syntax and Semantics

Their papers