Type Theory via Exact Categories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott. Type Theory via Exact Categories. In LICS. pages 188-198, 1998.

This author has not been identified. Look up 'Lars Birkedal' in GoogleThis author has not been identified. Look up 'Aurelio Carboni' in GoogleThis author has not been identified. Look up 'Giuseppe Rosolini' in GoogleThis author has not been identified. Look up 'Dana S. Scott' in Google

runs on WebDSL