The following pages link to (Q4385538):
Displaying 14 items.
- (Q4510742) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510) (← links)
- An abstract interpretation for ML equality kinds (Q5096214) (← links)
- Dataflow semantics for Petri nets (Q5096839) (← links)
- Qualitative versus quantitative fixed point techniques in computer science (Q5236147) (← links)
- An Ontology of States (Q5410449) (← links)
- On the symmetry of sequentiality (Q5890040) (← links)
- Concrete data structures and functional parallel programming (Q5941198) (← links)
- From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice (Q5942696) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)
- Static and dynamic orderings on Dungean argumentation frameworks -- an overview (Q6064253) (← links)
- How much partiality is needed for a theory of computability? (Q6146825) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)