Moving Proofs-As-Programs Into Practice

doi 10.1109/ase.1997.632819
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Types for Proofs and Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Moving Beyond Vaping as a Cessation-Only Practice

Addiction
MedicinePsychiatryMental Health
2017English

1675 Case Studies in Moving Research Into Practice: Separating Reality From Desire

2018English

Entrepreneurship as Practice: Grounding Contemporary Practice Theory Into Entrepreneurship Studies

Entrepreneurship and Regional Development
EconomicsInternational ManagementBusinessEconometrics
2016English

Integrating Implicit Induction Proofs Into Certified Proof Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Putting Occupation Into Practice: Occupation as Ends, Occupation as Means

American Journal of Occupational Therapy
MedicineOccupational Therapy
1998English

Teaching and Learning Guide For: Explanation in Mathematics: Proofs and Practice

Philosophy Compass
Philosophy
2019English

Viewpoint: Moving Into the 1980s

Educational Considerations
1980English

Evidence Into Practice

British Journal of Psychiatry
MedicinePsychiatryMental Health
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy