Modal Subordination in Type Theoretic Dynamic Logic

Sai Qian | Philippe de Groote | Maxime Amblard |

Paper Details:

Month: Sept
Year: 2016

Venue: LILT |

Citations

URL

No Citations Yet

No URLs Found

Field Of Study