Adapting proofs-as-programs : the Curry-Howard protocolPoernomo, Iman Hafiz;Crossley, John N;Wirsing, MRead- Comprehensive mathematics for computer scientists. Calculus and ODEs, splines, probability, Fourier and wavelet theory, fractals and neural networks, categories and lambda calculus / 2Mazzola, G;Milmeister, Gérard;Weissmann, JodyRead
- Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedingsOng, LukeRead
- Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedingsUrzyczyn, PawelRead
- Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedingsRonchi Della Rocca, SRead
- Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedingsCurien, P.-LRead
Symmetry, Vol. 13, Pages 188: Complexity of Mathematical Expressions and Its Application in Automatic Answer Checking487 days agoRead- Design and Control of Magnetic Levitation System by Optimizing Fractional Order PID Controller Using Ant Colony Optimization Algorithm629 days agoRead
- What is functional programming?535 days agoRead
- Abstract computing machines : a lambda calculus perspectiveKluge, WernerRead
- Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthdayKlop, J. W;Middeldorp, AartRead
- Pattern calculus : computing with functions and structuresJay, BarryRead
- Lectures on the Curry-Howard isomorphismSørensen, Morten Heine;Urzyczyn, PawełRead
- Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semanticsDraheim, DirkRead
- Lambda Calculus with TypesBarendregt, Henk;Dekkers, Wil;Statman, RichardRead
- Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedingsHofmann, MartinRead
- Typed lambda calculi and applications : 5th international conference, TLCA 2001, KrakoÌw, Poland, May 2-5, 2001 : proceedingsAbramsky, SamsonRead
- Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedingsGirard, Jean-YvesRead
- Lambda-calculus and combinators, an introductionHindley, J. Roger;Seldin, J. PRead
- Medicine - All Feeds
- Allergology and Immunology
- Anatomy and Physiology
- Anesthesiology and Intensive Care
- Biochemistry
- Bioengineering
- Biophysics
- Biotechnology
- Cardiology
- Cardiothoracic Surgery
- Clinical Chemistry
- Clinical Medicine
- Complementary Medicine
- Cytology and Histology
- Dentistry
- Dermatology
- Endocrinology
- Forensic Medicine
- Gastroenterology
- General Practice
- Genetics
- Geriatrics
- Health services and Administration
- Hematology
- Infectious Diseases
- Internal Medicine
- Logopedics
- Medical Education and Humanities
- Medical Microbiology
- Medicine - Other
- Nephrology
- Neurology
- Neurosurgery
- Nursing
- Nutritional Sciences
- Obstetrics and Gynecology
- Occupational Health
- Oncology
- Ophthalmology
- Oral and Maxillofacial Surgery
- Orthopedics and Traumatology
- Otorhinolaryngology and Phoniatrics
- Pathology
- Pediatrics
- Pharmacology and Pharmacotherapy
- Physical and Rehabilitation Medicine
- Plastic Surgery
- Psychiatry
- Psychology
- Public Health
- Radiology
- Respiratory Medicine
- Rheumatology
- Sports Medicine
- Surgery
- Urology
