You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Explicit Composition and Its Application in Proofs of Normalization
Advances in Proof-Theoretic Semantics
Springer International Publishing, October 2015
Jan von Plato
Thomas Piecha, Peter Schroeder-Heister
The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.
|Readers by professional status||Count||As %|
|Readers by discipline||Count||As %|