Showing 1 - 2 results of 2 for search 'Patrik Jansson', query time: 0.02s
Refine Results
-
1
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda by Jean-Philippe Bernardy, Patrik Jansson
Published 2016-06-01
Article -
2
Sequential decision problems, dependent types and generic solutions by Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin Brady
Published 2017-03-01
Article