Quantitative and Qualitative Semantics (Abstract of Invited Lecture)

Jean-Yves Girard

Published in: LICS (1986)

Keyphrases

quantitative and qualitative
qualitative and quantitative
high level
formal semantics
low level
logic programming
graphical representation
invited talk
semantic information
researchers and practitioners
interaction analysis
questionnaire survey
propositional dynamic logic
logic programs
descriptive statistics