Articles

• 15 February 2019 /

  Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces

   
•  

• 15 February 2019 /

  Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers

   
•  

• 15 February 2019 /

  Learning Cover Context-Free Grammars from Structural Data

   
•  

• 15 February 2019 /

  Rely-Guarantee Based Reasoning for Message-Passing Programs

   
•  

• 15 February 2019

  Probabilistic Recursion Theory and Implicit Computational Complexity

   

• 15 February 2019

  Theoretical Aspects of Computing

   

• 15 February 2019

  Several Remarks on Dissimilarities and Ultrametrics

   

• 15 February 2019

  Identifying Almost Sorted Permutations from TCP Buffer Dynamics

   

• 15 February 2019

  Quasi-Algebras versus Regular Algebras – Part I

   

• 15 February 2019

  Mutually Exclusive Nuances of Truth in Moisil Logic