Bizjak, Aleš
- Guarded Dependent Type Theory with Coinductive Types
2016/01/07 by Bizjak, Aleš, Grathwohl, Hans Bugge, Clouston, Ranald +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda\n Calculus
2018/02/27 by Alejandro Aguirre, Gilles Barthe, Aguirre, Alejandro +9 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies