Login / Signup

Fixpoint constructions in focused orthogonality models of linear logic.

Marcelo FioreZeinab GalalFarzad Jafarrahmani
Published in: CoRR (2023)
Keyphrases
  • fixpoint
  • linear logic
  • proof theoretic
  • logic programs
  • probabilistic model
  • finite state machines
  • database systems
  • logic programming
  • horn clauses