Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Furio Honsell
An Open Logical Framework
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Conway Games, Algebraically and Coalgebraically
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus of Objects With Self-Inflicted Extension
ACM SIGPLAN Notices
Related publications
Beyond Occupational Differences
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
Dismantling Knowledge Boundaries at NASA: The Critical Role of Professional Identity in Open Innovation
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
From the Editor
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
Seeing More Than Orange: Organizational Respect and Positive Identity Transformation in a Prison Context
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
How Cinderella Became a Queen
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
The Role of Accelerator Designs in Mitigating Bounded Rationality in New Ventures
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
Fraud and Market Participation
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
Corrigendum
Administrative Science Quarterly
Arts
Sociology
Political Science
Public Administration
Humanities
The Forward Search for Very Large Datasets
Journal of Statistical Software
Uncertainty
Statistics
Probability
Software
R Graphics (3rd Edition)
Journal of Statistical Software
Uncertainty
Statistics
Probability
Software