Picture for Jan Frederik Schaefer

Jan Frederik Schaefer

Computer Science, FAU Erlangen-Nürnberg

GF + MMT = GLF -- From Language to Semantics through LF

Add code
Oct 24, 2019
Figure 1 for GF + MMT = GLF -- From Language to Semantics through LF
Figure 2 for GF + MMT = GLF -- From Language to Semantics through LF
Figure 3 for GF + MMT = GLF -- From Language to Semantics through LF
Figure 4 for GF + MMT = GLF -- From Language to Semantics through LF
Viaarxiv icon