The following pages link to Dan R. Ghica (Q1566882):
Displayed 38 items.
- Abstract models of storage (Q1566883) (← links)
- A functional perspective on machine learning via programmable induction and abduction (Q1648874) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Angelic semantics of fine-grained concurrency (Q2474441) (← links)
- (Q2754137) (← links)
- Krivine nets (Q2819699) (← links)
- Synchronous Game Semantics via Round Abstraction (Q3000620) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Geometry of synthesis (Q3189816) (← links)
- (Q3384925) (← links)
- On the Compositionality of Round Abstraction (Q3584946) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- Regular-Language Semantics for a Call-by-Value Programming Language (Q4917052) (← links)
- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits (Q4922073) (← links)
- (Q4972738) (← links)
- (Q5021229) (← links)
- (Q5079763) (← links)
- Diagrammatic Semantics for Digital Circuits. (Q5111192) (← links)
- The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (Q5111200) (← links)
- The Geometry of Computation-Graph Abstraction (Q5145351) (← links)
- Geometry of synthesis iv (Q5176977) (← links)
- (Q5208778) (← links)
- (Q5216413) (← links)
- Abstract Machines for Game Semantics, Revisited (Q5271094) (← links)
- Slot games (Q5276137) (← links)
- Foundations of Software Science and Computation Structures (Q5308452) (← links)
- Programming Languages and Systems (Q5308703) (← links)
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (Q5351969) (← links)
- Geometry of synthesis III (Q5408555) (← links)
- Bounded Linear Types in a Resource Semiring (Q5410708) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)
- Static Analysis (Q5897431) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899066) (← links)
- String diagrams for non-strict monoidal categories (Q6389410) (← links)
- String Diagrams for $\lambda$-calculi and Functional Computation (Q6438479) (← links)