OpenAlex | Formalizing semantic bidirectionalization and extensions with dependent types

Formalizing semantic bidirectionalization and extensions with dependent types

Work

Year: 2016

Type: article

Source: Journal of Logical and Algebraic Methods in Programming

Authors Helmut Grohne, Janis Voigtländer

Institution University of Bonn

Cites: 27

Cited by:

Related to: 10

FWCI:

Citation percentile (by year/subfield):

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder Deutsche Forschungsgemeinschaft

Grant ID VO 1512/2-1