X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Newspaper Article (162) 162
Journal Article (37) 37
Conference Proceeding (13) 13
Book Chapter (9) 9
Patent (8) 8
Magazine Article (2) 2
Book / eBook (1) 1
Book Review (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
athletes (80) 80
coaches & managers (51) 51
professional baseball (28) 28
computer science (12) 12
high school football (12) 12
game semantics (11) 11
computer science, theory & methods (8) 8
tournaments & championships (8) 8
college football (7) 7
mathematics (7) 7
professional football (7) 7
programming languages (7) 7
semantics (7) 7
algol-like languages (6) 6
mathematics, applied (6) 6
electric communication technique (5) 5
electricity (5) 5
full abstraction (5) 5
high school basketball (5) 5
logic (5) 5
secondary schools (5) 5
theoretical computer science (5) 5
transmission of digital information, e.g. telegraphiccommunication (5) 5
trials (5) 5
wireless communications networks (5) 5
community colleges (4) 4
denotational semantics (4) 4
games (4) 4
index medicus (4) 4
linear logic (4) 4
logic in computer science (4) 4
mathematical logic and formal languages (4) 4
category theory (3) 3
children (3) 3
colleges & universities (3) 3
computer science - logic in computer science (3) 3
computer science, hardware & architecture (3) 3
computer science, software, graphics, programming (3) 3
exercise (3) 3
game theory (3) 3
logics and meanings of programs (3) 3
martial arts (3) 3
murders & murder attempts (3) 3
regular languages (3) 3
semiconductor industry (3) 3
arrests (2) 2
artificial intelligence (2) 2
banks (2) 2
bicycle racing (2) 2
boron (2) 2
chief executive officers (2) 2
computational theory and mathematics (2) 2
computer & video games (2) 2
computer science applications (2) 2
contempt of court (2) 2
criminal sentences (2) 2
diagnosis (2) 2
differential categories (2) 2
domestic violence (2) 2
energy industry (2) 2
fire stations (2) 2
fires (2) 2
full completeness (2) 2
health services research (2) 2
human necessities (2) 2
humans (2) 2
hygiene (2) 2
information systems (2) 2
local state (2) 2
medical or veterinary science (2) 2
mental disorders (2) 2
mountain biking (2) 2
office parks (2) 2
pcf (2) 2
petroleum industry (2) 2
preparations for medical, dental, or toilet purposes (2) 2
professional golf (2) 2
programming languages, compilers, interpreters (2) 2
research (2) 2
review (2) 2
softball (2) 2
software engineering (2) 2
specific therapeutic activity of chemical compounds ormedicinal preparations (2) 2
sports training (2) 2
surgery (2) 2
walking (2) 2
[ info ] computer science [cs] (1) 1
[ info.info-lo ] computer science [cs]/logic in computer science [cs.lo] (1) 1
[ sdv.imm ] life sciences [q-bio]/immunology (1) 1
[sdv.imm]life sciences [q-bio]/immunology (1) 1
a lgol-like languages (1) 1
abdominal surgery (1) 1
abstract logic (1) 1
abstraction (1) 1
acquired immunodeficiency syndrome - prevention & control (1) 1
activation (1) 1
activists (1) 1
adolescent (1) 1
adolescents (1) 1
adult (1) 1
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


by Wong, Danny J.N and Drake, Sharon and Plowright, Catherine and Shrestha, Suman and Anaesthetic Audit and Research Matrix of Yorkshire (AARMY) and Pan-London Peri-operative Audit & Research Network (PLAN) and Welsh Anaesthetic Audit Research & Engagement Network (WAAREN) and Barnes, Dennis and Cook, Amanda and Perumal, Anand and Spargo, James and Chuni, Chandini and Foster, Greg and Platt, Chris and Armstrong, Lisa and Grover, Alka and Hairsine, Brigid and Horner, Lisa and Ingham, Rachel and Jackson, Richard and Kurasz, Claire and Munsie, Sarah and Nemeth, Ildiko and Scriven, John and Snell, Josie and Hamlyn, Vincent and Jewitt, Helen and Organ, Angie and Tritean, Maria and Atkinson, Claire and George, Richard and Peers, Beth and Qadri, Shabir and Barot, Niraj and Brown, Julia and Cunningham, Mishell and Gooneratne, Mevan and Forsyth-Jones, Tim and Menon, Arun and Percuin, Adrian and Knowlden, Peter and Gajendragadkar, Pushpaj and Linton-Willoughby, Ben and Richie-Mclean, Susanna and McCourt, Killian and Dhar, King and Towers, Tammy and Cotterill, Amanda and Galloway, Andrea and McCooty, Shanteela and Mukherjee, Ronan and O'Hara, Chloe and Osborne, Fiona and Westwood, John and Whapples, Annabelle and Brown, Janette and Stoddard, Emma and Hill, Rebecca and Hull, Rob and Loftus, Alison and Mcmanoman, Lucy and Butterworth, Rachel and Cousins, Simon and Northey, Martin and Drake, Jeremy and Jackson, Rosada and Lewith, Henry and Ralhan, Vandita and Nair, Ashok and Mewies, Clare and Jayan, Jithu and King, James and Laloë, Pnt and Pearce, Lauren and Fourie, Petrus and Mahidik, Preeti and Ortu, Andrea and Patil, Anita and Goodwin, Naomi and Anderson, Nathan and Durie, Carys and Moore, Alex and Apple, Zoe and Czukowska, Liliana and Elliott, Lauren and Barclay, Philip and Cifre, Elna and Clancy, Olivia and Friedman, Lauren and Keerthikumar, Hindusha and Maduekwe, Victor and Sisson, Alice and Svensson, Marie-Louise and Wibberley, Helen and Hazeldine, Sarah and Whileman, Amanda and Woodward, Jan and Clark, Sam and Allan, Ashley and Shatanda, Lydia and ... and NHS Shetland and University Hospital of North Midlands NHS Trust and Gateshead Health NHS Foundation Trust and St George's Healthcare NHS Trust and Cardiff and Vale University Health Board and South Eastern Health and Social Care Trust and Frimley Health NHS Foundation Trust and Cwm Taf University Health Board and Trainee Research Networks and Colchester Hospital University NHS Foundation Trust and Barts Health NHS Trust and Oxford University Hospitals NHS Foundation Trust and Royal Bournemouth & Christchurch Hospitals NHS Foundation Trust and Royal Cornwall Hospitals NHS Trust and Isle of Wight NHS Trust and County Durham and Darlington NHS Foundation Trust and Sheffield Teaching Hospitals NHS Foundation Trust and University Hospitals of Morecambe Bay NHS Foundation Trust and Northern Health and Social Care Trust and Surrey and Sussex Healthcare NHS Trust and Chelsea and Westminster Hospital NHS Foundation Trust and Croydon Health Services NHS Trust and Airedale NHS Foundation Trust and The Princess Alexandra Hospital NHS Trust and Weston Area Health NHS Trust and Northern Lincolnshire and Goole Hospitals NHS Foundation Trust and Abertawe Bro Morgannwg University Health Board and Northumbria Healthcare NHS Foundation Trust and Brighton and Sussex University Hospitals NHS Trust and NHS Lothian and Lewisham and Greenwich NHS Trust and Homerton University Hospital NHS Foundation Trust and East Kent Hospitals University NHS Foundation Trust and Milton Keynes University Hospital NHS Foundation Trust and Great Western Hospitals NHS Foundation Trust and Lancashire Teaching Hospitals NHS Foundation Trust and City Hospitals Sunderland NHS Foundation Trust and Northampton General Hospital NHS Trust and North Tees and Hartlepool NHS Trust and Hywel Dda Health Board and Royal Devon and Exeter NHS Foundation Trust and Dorset County Hospital NHS Foundation Trust and Liverpool Women's NHS Foundation Trust and Bedford Hospital NHS Trust and Royal National Orthopaedic Hospital NHS Trust and Medway NHS Foundation Trust and University Hospitals Birmingham NHS Foundation Trust and Gloucestershire Hospitals NHS Foundation Trust and Pennine Acute NHS Trust and Northern Devon Healthcare NHS Trust and The Royal Orthopaedic Hospital NHS Foundation Trust and Betsi Cadwaladr University Health Board and Epsom and St Helier University Hospitals NHS Trust and Ipswich Hospital NHS Trust and Chesterfield Royal Hospital NHS Foundation Trust and NHS Greater Glasgow & Clyde and Western Sussex Hospitals NHS Foundation Trust and NHS Lanarkshire and Blackpool Teaching Hospitals NHS Foundation Trust and The Royal Wolverhampton Hospitals NHS Trust and Central Manchester University Hospitals NHS Foundation Trust and Buckinghamshire Healthcare NHS Trust and Salford Royal NHS Foundation Trust and Tameside Hospital NHS Foundation Trust and Walsall Healthcare NHS Trust and The Whittington Hospital NHS Trust and York Teaching Hospital NHS Foundation Trust and Burton Hospitals NHS Foundation Trust and Mid Essex Hospital Services NHS Trust and Birmingham Women's NHS Foundation Trust and Dartford and Gravesham NHS Trust and Kingston Hospital NHS Foundation Trust and NHS Tayside and Salisbury NHS Foundation Trust and Study Steering Group and Royal Berkshire NHS Foundation Trust and Mid Yorkshire Hospitals NHS Trust and Robert Jones and Agnes Hunt Orthopaedic Hospital Foundation Trust and East Sussex Healthcare NHS Trust and King's College Hospital NHS Foundation Trust and Aintree University Hospitals NHS Foundation Trust and NHS Highland and West Herts Hospitals NHS Trust and Worcestershire Acute Hospitals NHS Trust and Guy's and St Thomas' NHS Foundation Trust and Hull and East Yorkshire Hospitals NHS Trust and Shrewsbury and Telford Hospital NHS Trust and Hampshire Hospitals NHS Foundation Trust and Torbay and South Devon NHS Foundation Trust and Derby Hospitals NHS Foundation Trust and North West Anglia NHS Foundation Trust and Plymouth Hospitals NHS Trust and Wye Valley NHS Trust and Leeds Teaching Hospitals NHS Trust and NHS Fife and South Tees Hospitals NHS Foundation Trust and University Hospitals Coventry and Warwickshire NHS Trust and The Royal Liverpool and Broadgreen University Hospitals NHS Trust and Royal Free London NHS Foundation Trust and Wrightington, Wigan and Leigh NHS Foundation Trust and The Dudley Group NHS Foundation Trust and United Lincolnshire Hospitals NHS Trust and Bradford Teaching Hospitals NHS Foundation Trust and Newcastle upon Tyne Hospitals NHS Foundation Trust and Queen Elizabeth Hospital NHS Foundation Trust and Portsmouth Hospitals NHS Trust and University College London Hospitals NHS Foundation Trust and the SNAP-2: EPICCS collaborators and University Hospitals of Leicester NHS Trust and Ashford & St Peters NHS Foundation Trust and Royal United Hospitals Bath NHS Trust and Royal Surrey County Hospital NHS Foundation Trust and East and North Hertfordshire NHS Trust and Kettering General Hospital NHS Foundation Trust and Rotherham NHS Foundation Trust and St Helens and Knowsley Teaching Hospitals NHS Trust and University Hospital Southampton NHS Foundation Trust and Health Services Research Centre, National Institute of Academic Anaesthesia and East Lancashire Hospitals NHS Trust and Warrington & Halton Hospitals NHS Foundation Trust and Calderdale and Huddersfield NHS Foundation Trust and The Christie Hospital NHS Foundation Trust and Countess of Chester NHS Foundation Trust and University Hospitals Bristol NHS Foundation Trust and Harrogate and District NHS Foundation Trust and NHS Scotland Special Board and South Tyneside NHS Foundation Trust and Barnsley Hospital NHS Foundation Trust and Sandwell and West Birmingham Hospitals NHS Trust and North Cumbria University Hospitals NHS Trust and Aneurin Bevan Health Board and Barking, Havering and Redbridge University Hospitals NHS Trust and Bolton Hospital NHS Foundation Trust and Luton and Dunstable University Hospital NHS Foundation Trust and NHS Ayrshire & Arran and Queen Victoria Hospital NHS Foundation Trust and University Hospital of South Manchester NHS Foundation Trust and Wirral University Teaching Hospital NHS Foundation Trust and James Paget University Hospitals NHS Foundation Trust and North Bristol NHS Trust and Western Health and Social Care Trust and NHS Dumfries & Galloway and Imperial College Healthcare NHS Trust and South Warwickshire NHS Foundation Trust and The Hillingdon Hospitals NHS Foundation Trust and Poole Hospital NHS Foundation Trust and North Middlesex University Hospital NHS Trust and Belfast Health and Social Care Trust and Mid Cheshire Hospitals NHS Foundation Trust and Taunton and Somerset NHS Foundation Trust and Yeovil District Hospital NHS Foundation Trust and Cambridge University Hospitals NHS Foundation Trust and Heart Of England NHS Foundation Trust and Net Solving Limited and Papworth Hospital NHS Foundation Trust and Basildon and Thurrock University Hospitals NHS Foundation Trust and The Royal Marsden NHS Foundation Trust and Norfolk and Norwich University Hospitals NHS Foundation Trust and Southport and Ormskirk Hospital NHS Trust and Stockport NHS Foundation Trust and Nottingham University Hospitals NHS Trust and West Suffolk NHS Foundation Trust and Doncaster and Bassetlaw Hospitals NHS Foundation Trust and SNAP-2 EPICCS Collaborators and Royal Wolverhampton Hospitals NHS Trust and Dudley Group NHS Foundation Trust and Hillingdon Hospitals NHS Foundation Trust and SNAP-2: EPICCS collaborators and Christie Hospital NHS Foundation Trust and Royal Marsden NHS Foundation Trust and Whittington Hospital NHS Trust and Princess Alexandra Hospital NHS Trust and Royal Orthopaedic Hospital NHS Foundation Trust and Royal Liverpool and Broadgreen University Hospitals NHS Trust
British Journal of Anaesthesia, ISSN 0007-0912, 10/2018, Volume 121, Issue 4, pp. 730 - 738
Journal Article
Journal of General Physiology, ISSN 0022-1295, 2015, Volume 145, Issue 1, pp. 5 - 16
Journal Article
Journal Article
Logical Methods in Computer Science, ISSN 1860-5974, 2010, Volume 6, Issue 1
Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via... 
Local state | Denotational semantics | Semantics of programming languages | COMPUTER SCIENCE, THEORY & METHODS | Denotational Semantics | Local State | LOGIC | SYNTACTIC CONTROL | Semantics of Programming Languages | Computer Science - Logic in Computer Science
Journal Article
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9996, pp. 370 - 381
Conference Proceeding
Information and Computation, ISSN 0890-5401, 01/2013, Volume 222, pp. 247 - 264
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We... 
Differential categories | Game semantics | Full abstraction | MATHEMATICS, APPLIED | COMPUTER SCIENCE, THEORY & METHODS | TAYLOR EXPANSION
Journal Article
Journal of Pure and Applied Algebra, ISSN 0022-4049, 04/2015, Volume 219, Issue 4, pp. 1131 - 1174
In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a ⊸-schedule, and the similar notion of... 
MATHEMATICS | MATHEMATICS, APPLIED | TENSOR CATEGORIES | Semantics
Journal Article
Journal of logic, language, and information, ISSN 0925-8531, 11/2019
Journal Article
LMS journal of computation and mathematics, ISSN 1461-1570, 2007, Volume 10, pp. 176 - 206
The question of what categorical structure is required to give semantics to O‘Hearn et al.'s type system Syntactic Control of Interference Revisited (SCIR) is... 
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 11/2013, Volume 164, Issue 11, pp. 1038 - 1078
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond... 
Sequentiality | Full completeness | History-sensitive strategies | Game semantics | MATHEMATICS | MATHEMATICS, APPLIED | ABSTRACTION | PCF | LINEAR LOGIC | LOGIC | Computer Science - Logic in Computer Science
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 12/2003, Volume 309, Issue 1-3, pp. 469 - 502
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized ALGOL (IA)... 
Regular languages | Game semantics | ALGOL-like languages | COMPUTER SCIENCE, THEORY & METHODS | game semantics | regular languages
Journal Article
Leibniz International Proceedings in Informatics, LIPIcs, ISSN 1868-8969, 08/2018, Volume 119
Conference Proceeding
Information and Computation, ISSN 0890-5401, 07/2000, Volume 160, Issue 1-2, pp. 1 - 61
A new category of games is developed which improves over existing such categories in that it interprets sums as well as products, function spaces, and... 
MATHEMATICS, APPLIED | PCF | LINEAR LOGIC | SEMANTICS | DOMAIN EQUATIONS | COMPUTER SCIENCE, THEORY & METHODS | LANGUAGES | CATEGORIES
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 2008, Volume 151, Issue 2, pp. 69 - 69
Journal Article
Journal of child and adolescent psychopharmacology, ISSN 1044-5463, 05/2020
To evaluate the efficacy and long-term safety of vilazodone in children and adolescent outpatients with major depressive disorder (MDD). Children and... 
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 1999, Volume 227, Issue 1, pp. 3 - 42
A fully abstract games model of Reynolds’ Idealized Algol is described. The model gives a semantic account of the distinction between active types, such as... 
Game semantics | Algol-like languages | Full abstraction | PI-CALCULUS | full abstraction | GAMES | LOCAL VARIABLES | COMPUTER SCIENCE, THEORY & METHODS | MODEL | game semantics
Journal Article
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, 09/2010, Volume 265, Issue C, pp. 389 - 402
Local variables in imperative languages have been given denotational semantics in at least two fundamentally different ways. One is by use of functor... 
Denotational semantics | imperative programming | algol-like languages | category theory | programming languages | possible worlds | local state
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 02/2017, Volume 168, Issue 2, pp. 233 - 233
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.