Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces.
- Published in:
- Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 325, doi. 10.7561/SACS.2014.2.325
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2014 AND VI 24 AND IP 2
Results: 6
1
2
Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers.
- Published in:
- Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 287, doi. 10.7561/SACS.2014.2.287
- By:
- Publication type:
- Article
3
Learning Cover Context-Free Grammars from Structural Data.
- Published in:
- Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 253, doi. 10.7561/SACS.2014.2.253
- By:
- Publication type:
- Article
4
Rely-Guarantee Based Reasoning for Message-Passing Programs.
- Published in:
- Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 217, doi. 10.7561/SACS.2014.2.217
- By:
- Publication type:
- Article
5
Probabilistic Recursion Theory and Implicit Computational Complexity.
- Published in:
- Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 177, doi. 10.7561/SACS.2014.2.177
- By:
- Publication type:
- Article
6
Theoretical Aspects of Computing.
- Published in:
- Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 173, doi. 10.7561/SACS.2014.2.173
- By:
- Publication type:
- Article