Results 101 to 110 of about 923,302 (188)

Inductive types in constructive languages

open access: yes, 1995
This dissertation deals with constructive languages: languages for the formal expression of mathematical constructions. The concept of construction does not only encompass computations, as expressed in programming languages,but also propositions and proofs, as expressed in a mathematical logic, and in particular the construction of structured ...
openaire   +1 more source

Response to Letter to the Editor. [PDF]

open access: yesHum Genomics
Alblooshi H, Aljaberi N.
europepmc   +1 more source

Reply to Katkuri et al. [PDF]

open access: yesInterdiscip Cardiovasc Thorac Surg
Pruna-Guillen R   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy