Fiore, Marcelo
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
2022/07/18 by Marcelo Fiore, Fiore, Marcelo · 4 citations
Computer Science · #03B38 #03B40 #68N18 #Category Theory (math.CT) #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies