"LNL-FPC: The Linear/Non-linear Fixpoint Calculus."

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev (2021)

Details and statistics

DOI:

access: open

type: Journal Article

metadata version: 2021-06-01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics