Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version).

Claudia Faggian Giulio Guerrieri

Published in: CoRR (2021)

Keyphrases

linear logic
fixed point
logic programming
proof theoretic
logical framework
cut elimination
sequent calculus
matrix factorization
desirable properties
inference rules
proof search
expert systems
intuitionistic logic
singular value decomposition
qualitative and quantitative