A light-weight integration of automated and interactive theorem proving.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 129, doi. 10.1017/S0960129514000140
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2016 AND VI 26 AND IP 1
Results: 6
1
2
Vulnerability modelling with functional programming and dependent types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 114, doi. 10.1017/S0960129514000139
- By:
- Publication type:
- Article
3
Containers, monads and induction recursion.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 89, doi. 10.1017/S0960129514000127
- By:
- Publication type:
- Article
4
Partiality and recursion in interactive theorem provers – an overview.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 38, doi. 10.1017/S0960129514000115
- By:
- Publication type:
- Article
5
Modules over relative monads for syntax and semantics.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 3, doi. 10.1017/S0960129514000103
- By:
- Publication type:
- Article
6
Selected papers from Dependently Typed Programming 2010 – Overview.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 1, doi. 10.1017/S0960129514000097
- By:
- Publication type:
- Article