Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837 author "Berger, Ulrich".
- 3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837 author2 "Schwichtenberg, Helmut".
- 3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837 isCitedBy Normalisation_by_evaluation.
- 3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837 journal Logic_in_Computer_Science.
- 3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837 title "An inverse of the evaluation functional for typed λ-calculus".
- 3b30fb5e9243d6f5d8ebc94d3f6b9ea19da1b5674775b5830ad7414fb94bd837 year "1991".