On the Formulae-as-Types Correspondence for Classical Logic (Popularity: )

Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types ...
Category: Science\Math\Logic and Foundations\Computational Logic

Guinn, Curry (Popularity: )

Researcher in natural language processing, spoken dialog systems, virtual humans, and computational models of emotion ...
Category: Science\Social Sciences\Psychology\Cognitive

BIRDNET (Popularity: )

The Ornithological Council's site with comprehensive information about North American ornithological resources.
Category: Science\Biology\Zoology\Chordates

Curry & Kerlinger, Wind Power and Birds. (Popularity: )

Experts on the impact of wind power and wind turbines on birds.
Category: Science\Technology\Energy\Renewable