Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.

Claudia Faggian Giulio Guerrieri

Published in: FoSSaCS (2021)

Keyphrases

linear logic
fixed point
desirable properties
cut elimination
logical framework
proof search
matrix factorization
logic programming
proof theoretic
intuitionistic logic
singular value decomposition
sequent calculus
expert systems
inference rules
machine learning
high level