An intensional characterization of the largest bisimulation

Authors:
L Hallnäs
Affiliations:
Swedish Institute of Computer Science, Spa˚nga, Sweden
Venue:
Theoretical Computer Science
Year:
1987

Citing 0
Cited 2

Interactive Programs in Dependent Type Theory

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Fast and loose reasoning is morally correct

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	5.23

Visualization

Abstract