Syntax and semantics of 2-dimensional type theories

Ended Project Grant Awarded Last action

Award ID
FA95502110007
Recipient
Awarding agency
Obligated
$559,105

Award facts

Assistance listing
12.800 Air Force Defense Research Sciences Program
Completion date
Place of performance
Great Britain, United Kingdom

Award details come from USAspending.gov.

Transactions

Action Obligated Date
Amendment Incremental funding modification. Syntax and semantics of 2-dimensional type theories. $56,225
Amendment $54,957
Amendment $0
Amendment "syntax and semantics of 2-dimensional type theories" dated 12 MAR 2020 (the grantee's technical proposal) is hereby incorporated by reference. (C $149,650
Amendment $149,877
Amendment $0
Original award $148,396

Quick answers

Who received award FA95502110007?

FA95502110007 was awarded to University Of Leeds by Air Force Research Laboratory (Air Force Materiel Command) on October 31, 2020.

How much is award FA95502110007 worth?

$559,105 has been obligated on FA95502110007.

On GovTribe

See this award's full record

  • Every transaction and subaward
  • The recipient's other awards and teaming partners
  • Similar grant awards
  • Ask GovTribe AI about this award